Testing semantics: Connecting processes and process logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4019 LNCS, Issue , 2006, Pages 308-322

  Pavlovic, Dusko ^a   Mislove, Michael ^b   Worrell, James B ^c  

^a KESTREL INSTITUTE   (United States)

^b TULANE UNIVERSITY   (United States)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; MATHEMATICAL MODELS;

DUALITY THEORIES; MODELING INTERACTIONS; PROCESS LOGICS;

SEMANTICS;

EID: 33746034165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_24     Document Type: Conference Paper

References (21)

1. Moore, E.F.: Gedanken experiments on sequential machines. In: Automata Studies, Princeton (1956) 129-153
2. Holzmann, G.J.: Design and Validation of Computer Protocols. Software Series. Prentice Hall, London (1991)
3. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines A survey. In: Proceedings of the IEEE. Volume 84. (1996) 1090-1126
4. Mislove, M., Ouaknine, J., Pavlovic, D., Worrell, J.: Duality for labelled Markov processes. In Walukiewicz, I., ed.: Proceedings of FoSSaCS 2004. Volume 2987 of Lecture Notes in Computer Science., Springer Verlag (2004) 393-407
5. Pavlovic, D., Smith, D.H.: Composition and refinement of behavioral specifications. In: Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering, IEEE (2001)
6. Pavlovic, D., Smith, D.R.: Guarded transitions in evolving specifications. In Kirchner, H., Ringeissen, C., eds.: Proceedings of AMAST 2002. Volume 2422 of Lecture Notes in Computer Science., Springer Verlag (2002) 411-425
7. Pavlovic, D., Pepper, P., Smith, D.R.: Colimits for concurrent collectors. In Dershowitz, N., ed.: Verification -Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday. Volume 2772 of Lecture Notes in Computer Science., Springer Verlag (2003) 568-597
8. Jacobs, B.: Trace semantics for coalgebras. In: Coalgebraic Methods in Computer Science (CMOS) 2004. Volume 106 of Electr. Notes in Theor. Comp. Sci. (2004)
9. Hasuo, I., Jacobs, B.: Context-free languages via coalgebraic trace semantics. In Fiadeiro, J., Harman, N., Roggenbach, M., Rutten, J., eds.: Algebra and Coalgebra in Computer Science (CALCO'05). Volume 3629 of Lecture Notes in Computer Science., Berlin, Springer-Verlag (2005) 213-231
10. Johnstone, P.: Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. Cambridge University Press (1982)
11. Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic 51 (1991) 1-77
12. Milner, R.: Communication and concurrency. International Series in Computer Science. Prentice Hall, London (1989)
13. Rutten, J.: Behavioral differential equations: a coinductive calculus of streams, automata and power series. Theor. Comp. Sci. 308 (2003) 1-53
14. Glabbeek, R., Smolka, S.A., Steffen, B:. Reactive, generative, and stratified models of probabilistic processes. Inf. Comput. 121 (1995) 59-80
15. DeNicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34 (1984):83-133
16. Abramsky, S.: A domain equation for bisimulation. Information and Computation 92 (1991) 161-218
17. Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249 (2000) 3-80
18. Plotkin, G.D., Turi, D.: Towards a mathematical operational semantics. (In: Proceedings of LICS)
19. C. Kupke, A.K., Pattinson, D.: Ultrafilter extensions for coalgebras. In: Proceedings of CALCO. Volume 3629 of Lecture Notes in Computer Science. (2005) 263-277
20. Bonsangue, M., Kurz, A.: Duality for logics of transition systems. In: Proceedings of FoSSaCS. Volume 3441 of Lecture Notes in Computer Science. (2005) 455-469
21. Varacca, D.: The powerdomain of indexed valuations. In: Proceedings 17th IEEE Symposium on Logic in Computer Science, IEEE Press (2002)