Action refinement and property inheritance in systems of sequential agents

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

Volumn 1119, Issue , 1996, Pages 639-654

  Huhn, Michaela ^a  

^a UNIVERSITY OF HILDESHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

ABSTRACT SYSTEMS; ACTION REFINEMENT; DEPENDENCY RELATION; HIERARCHICAL APPROACH; LINEAR TIME TEMPORAL LOGIC; LOGICAL FRAMEWORKS; MAZURKIEWICZ TRACES; TEMPORAL PROPERTY;

TEMPORAL LOGIC;

EID: 0039379907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_81     Document Type: Conference Paper

References (23)

1. Luca Aceto and Matthew Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115:179-247, 1994.
2. S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property preserving simulations. In Computer Aided Verification, LNCS 663, pages 260-273, 1992.
3. Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. In Proceedings of the 19th Annual A CM Symposium on Principles of Programming Languages (POPL 92), 1992.
4. Philippe Darondean and Pierpaolo Degano. Refinement of actions in event structures and causal trees. Theoretical Computer Science, 118:21-48, 1993.
5. R. V. Glabbeek and U. Goltz. Refinement of actions in causality based models. In Stepwise Refinement of Distributed Systems, LNCS 430, p. 267-300, 1989.
6. Ursula Goltz and Norbert Götz. Modelling a simple communication protocol in a language with action refinement, 1991.
7. U. Goltz, R. Gorrieri, and A. Rensink. On syntactic and semantic action refinement. In Theoretical Aspects of Computer Software, LNCS 789, 1994.
8. Ursula Goltz, Ruurd Kuiper, and Wojciech Penczek. Propositional temporal logics and equivalences. In CONCUR’92, LNCS 630, pages 222-236, 1992.
9. Roberto Gorrieri, Sergio Marchetti, and Ugo Montanari. A2CCS: atomic actions for CCS. Theoretical Computer Science, pages 203-223, 1990.
10. Michaela Huhn. On semantic and logical refinement of actions. Technical Report 15/96, Universität Hildesheim, Institut für Informatik, 1996.
11. W. Janssen, M. Poel, and J. Zwiers. Actions systems and action refinement in the development of parallel systems. In Concur’91, LNCS 527, p. 298-316, 1991.
12. Kim G. Larsen. Proof systems for Hennessy-Milner Logic with recursion. In Trees in Algebra and Programming, CAAP, LNCS 299, pages 215-230, 1988.
13. A. Mazurkiewicz. Basic notions of trace theory. In Linear Time, Branching time and Partial Order in Logics and Models for Concurrency, LNCS 354, pages 280-323, 1988.
14. Robin Milner. Communications and Concurrency. 1989.
15. Peter Niebert. A ν-calculus with local views for systems of sequential agents. In MFCS, LNCS 969, 1995.
16. R. Ramanujam. A local presentation of synchronizing systems. In Structure in Concurrency Theory (STRICT), pages 264-279, 1995.
17. Colin Stirring. Modal and temporal logics. In Handbook of Logic in Computer Science. 1992.
18. P.S. Thiagarajan. A trace based extension of Linear Time Temporal Logic. In Proc. of the 9th Ann. IEEE Syrup. on Logic in Computer Science, 1994.
19. P.S. Thiagarajan. A trace consistent subset of PTL. In CONCUR’95, LNCS 962, pages 438-452, 1995.
20. Frits Vaandrager. A simple definition for parallel composition of prime event structures. Cs-r8903, CWI, 1989.
21. Walter Vogler. Bisimulation and action refinement. Theoretical Computer Science, 114:173-200, 1993.
22. Heike Wehrheim. Parametric action refinement. In Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 247-266, 1994.
23. Glynn Winskel. Event structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, pages 325-392, 1986.