Action refinement as an implementation relation

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

Volumn 1214, Issue , 1997, Pages 773-786

  Rensink, Arend ^a   Gorrieri, Roberto ^b  

^a UNIVERSITY OF HILDESHEIM   (Germany)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACTION LEVEL; ACTION REFINEMENT; IMPLEMENTATION RELATION; OBSERVATION CONGRUENCES; PROCESS REFINEMENT; PROOF RULES;

SOFTWARE DESIGN;

EID: 84956994723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030640     Document Type: Conference Paper

References (21)

1. L. Aceto and M. Hennessy.Termination, deadlock, and divergence. Y. ACM, 39(1):147-187, Jan. 1992.
2. L. Aceto and M. Hennessy. Towards action-refinement in process algebras. I & dC, 103:204-269, 1993.
3. L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. I & C, 115:179-247, 1994.
4. E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In Abramsky and Maibaum, eds., TAPSOFT '91, Volume 2, vol. 494 of LNCS, pp. 297-312. Springer, 1991.
5. L. Castellano, G. De Michelis, and L. Pomello. Concurrency vs. interleaving: An instructive example. Bull. EATCS, 31:12-15, 1987.
6. I. Czaja, R. J. van Glabbeek, and U. Goltz. Interleaving semantics and action refinement with atomic choice. In Rozenberg, ed., Advances in Petri Nets 1992, vol. 609 of LNCS, pp. 89-109. Springer, 1992.
7. P. Degano and R. Gorrieri. A causal operational semantics of action refinement. I & C, 122:97-119, 1995.
8. P. Degano, R. Gorrieri, and G. Rosolini. A categorical view of process refinement. In De Bakker, De Roever, and Rozenberg, eds., Semantics: Foundations and Applications, vol. 666 of LNCS, pp. 138-153. Springer, 1992.
9. R. J. van Glabbeek. The linear time - branching time spectrum II: The semantics of sequential systems with silent moves. In Best, ed., Concur '93, vol. 715 of LNCS, pp. 66-81. Springer, 1993.
10. R. J. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In De Bakker, De Roever, and Rozenberg, eds., Stepwise Refinement of Distributed Systems -- Models, Formalisms, Correctness, vol. 430 of LNCS, pp. 267-300. Springer, 1990.
11. U. Goltz, R. Gorrieri, and A. Rensink. Com paring syntactic and semantic actionrefinement. I & C, 125(2):118-143, Mar. 1996.
12. R. Gorrieri. A hierarchy of system descriptions via atomic linear refinement. Fund. Informaticae, 16:289-336, 1992.
13. M. Huhn. Action refinement and property inheritance in systems of sequential agents. In Montanari and Sassone~ eds., Concur '96: Concurrency Theory, vol. 1119 of LNCS, pp. 639-654. Springer, 1996.
14. W. 3anssen, M. Poel, and J. Zwiers. Actions systems and action refinement in the development of parallel systems. In Baeten and Groote, eds., Concur '91, vol. 527 of LNCS, pp. 298-316. Springer, 1991.
15. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
16. M. Nielsen, U. Engberg, and K. G. Larsen. Fully abstract models for a process language with refinement. In De Bakker, De Roever, and Rozenberg, eds., Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol. 354 of LNCS, pp. 523-549. Springer, 1989.
17. A. Rensink. Methodological aspects of action refinement. In Olderog, ed., Programming Concepts, Methods and Calculi, pp. 227-246. IFIP, 1994.
18. A. Rensink. An event-based SOS for a language with refinement. In Desel, ed., Structures in Concurrency Theory, pp. 294-309. Springer, 1995.
19. W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139-162, 1991.
20. W. Vogler. Bisimulation and action refinement. TCS, 114:173-200, 1993.
21. H. Wehrheim. Parametric action refinement. In Olderog, ed., Programming Concepts, Methods and Calculi, pp. 247-266. IFIP, 1994.