Comparing Syntactic and Semantic Action Refinement

Information and Computation

Volumn 125, Issue 2, 1996, Pages 118-143

  Goltz, Ursula ^a   Gorrieri, Roberto ^b   Rensink, Arend ^a  

^a UNIVERSITY OF HILDESHEIM   (Germany)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001512661     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.0026     Document Type: Article

References (33)

1. Aceto, L., and Hennessy, M. (1993), Towards action-refinement in process algebras, Inform. and Comput. 103, 204-269.
2. Aceto, L., and Hennessy, M. (1994), Adding action refinement to a finite process algebra, Inform. and Comput. 115(2), 179-247.
3. Best, E., Devillers, R., and Esparza, J., (1993), General refinement and recursion operators for the Petri box calculus, in "STACS 93" (P. Enjalbert, A. Finkel, and K. W. Wagner, Eds.), Lecture Notes in Computer Science, Vol. 665, pp. 130-140, Springer-Verlag, Berlin/New York.
4. de Bakker, J. W., de Roever, W.-P., and Rozenberg, G. (Eds.) (1989), "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency," Lecture Notes in Computer Science, Vol. 354, Springer-Verlag, Berlin/New York.
5. Boudol, G. (1989), Atomic actions, Bull. European Assoc. Theoret. Comput. Sci. 38, 136-144.
6. Boudol, G., and Castellani, I. (1994), Flow models of distributed computations: Three equivalent semantics for CCS, Inform. and Comput. 114(2), 247-314.
7. Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A. (1993), Observing localities, Theoret. Comput. Sci. 114, 31-61.
8. Brinksma, E. (1992), On the uniqueness of fixpoints modulo observation congruence, in "Concur '92" (W. R. Cleaveland, Ed.), Lecture Notes in Computer Science, Vol. 630, pp. 62-76, Springer-Verlag, Berlin/New York.
9. Busi, N., van Glabbeek, R., and Gorrieri, R. (1994), Axiomatising ST bisimulation equivalence, in "Programming Concepts Methods and Calculi," IFIP Transactions, Vol. A-56, pp. 169-188, Elsevier, Amsterdam.
10. Castellano, L., De Michelis, G., and Pomello, L. (1987), Concurrency vs. interleaving: An instructive example, Bull. European Assoc. Theoret. Comput. Sci. 31, 12-15, Note.
11. Cleaveland, W. R. (Ed.) (1992), "Concur '92," Lecture Notes in Computer Science, Vol. 630, Springer-Verlag, Berlin/New York.
12. Costantini, R. (1994), "Abstraktion in ereignisbasierten Modellen verteilter Systeme," Ph.D. thesis, Institut für Informatik, Universität Hildesheim.
13. Darondeau, P., and Degano, P. (1993), Refinement of actions in event structures and causal trees, Theoret. Comput. Sci. 118, 21-48.
14. Degano, P., and Gorrieri, R. (1991), Atomic refinement for process description languages, in "Mathematical Foundations of Computer Science 1991" (A. Tarlecki, Ed.), Lecture Notes in Computer Science, Vol. 520, pp. 121-130, Springer-Verlag.
15. Degano, P., and Gorrieri, R. (1992), "An Operational Definition of Action Refinement," Technical report TR-28/92, Università di Pisa.
16. Degano, P., and Gorrieri, R. (1995), A causal operational semantics of action refinement, Inform. and Comput. 122(1), 97-119.
17. van Glabbeek, R., and Goltz, U. (1989), Equivalence notions for concurrent systems and refinement of actions, in "Mathematical Foundations of Computer Science 1989" (A. Kreczmar and G. Mirkowska, Eds.), Lecture Notes in Computer Science, Vol. 379, pp. 237-248, Springer-Verlag, Berlin/New York.
18. van Glabbeek, R., and Goltz, U. (1990), Refinement of actions in causality based models, in "Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness" (J. W. de Bakker, W.-P. de Roever and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 430, pp. 267-300, Springer-Verlag, Berlin/New York.
19. Goltz, U., Gorrieri, R., and Rensink, A. (1992), "On Syntactic and Semantic Action Refinement," Hildesheimer Informatik-Berichte 17/92, Institut für Informatik, Universität Hildesheim.
20. Gorrieri, R. (1992), A hierarchy of system descriptions via atomic linear refinement, Fundam. Inform. 16, 289-336.
21. 2CSS: Atomic actions for CCS, Theoret. Comput. Sci. 72, 203-223.
22. Jategaonkar, L., and Meyer, A. (1992), Testing equivalences for Petri nets with action refinement, in "Concur '92" (W. R. Cleaveland, Ed.), Lecture Notes in Computer Science, Vol. 630, pp. 17-31, Springer-Verlag, Berlin/New York.
23. Jategaonkar, L., and Meyer, A. (1993), Self-synchronization of concurrent processes, in "Automata, Languages and Programming" (A. Lingas, R. Karlsson, and S. Carlsson, Eds.), Lecture Notes in Computer Science, Vol. 700, pp. 519-531, Springer-Verlag, Berlin/New York.
24. Milner, R. (1989), "Communication and Concurrency," Prentice-Hall, Englewood Cliffs, NJ.
25. Nielsen, M., Engberg, U., and Larsen, K. G. (1993), Fully abstract models for a process language with refinement, in "Linear Time, Branching Time and Partial Order in Logic and Models for Concurrency" (J. W. de Bakker, W.-P. de Roever, and R. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 354, pp. 523-549, Springer-Verlag, Berlin/New York.
26. Olderog, E.-R. (Ed.), (1994), "Programming Concepts, Methods and Calculi," Vol. A-56, IFIP Transactions, IFIP, Elsevier, Amsterdam.
27. Rabinovich, A., and Trakhtenbrot, B. A. (1988), Behaviour structure and nets, Fundam. Inform. XI(4), 357-404.
28. Rensink, A. (1994), Methodological aspects of action refinement, in "Programming Concepts, Methods and Calculi" (E.-R. Olderog, Ed.), Vol. A-56, IFIP Transactions, IFIP.
29. Rensink, A. (1995), An event-based SOS for a language with refinement, in "Structures in Concurrency Theory" (J. Desel, Ed.), Workshops in Computing, pp. 294-309, Springer-Verlag, London.
30. Vogler, W. (1990), Failures semantics based on interval semiwords is a congruence for refinement, in "STACS 90" (C. Choffrut and T. Lengauer, Eds.), Lecture Notes in Computer Science, Vol. 415, pp. 285-297, Springer-Verlag, Berlin/New York.
31. Vogler, W. (1993), Bisimulation and action refinement, Theoret. Comput. Sci. 114, 173-200.
32. Wehrheim, H. (1994), Parametric action refinement, in "Programming Concepts, Methods and Calculi" (E.-R. Olderog, Ed.), IFIP Transactions, Vol. A-56, pp. 247-266, IFIP, Elsevier, Amsterdam.
33. Winskel, G. (1987), Event structures, in "Petri Nets: Applications and Relationships to Other Models of Concurrency," Lecture Notes in Computer Science, Vol. 255, pp. 325-392, Springer-Verlag, Berlin/New York.