Action refinement and property inheritance in systems of sequential agents
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 639-654
- https://doi.org/10.1007/3-540-61604-7_81
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A trace based extension of linear time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A ν-calculus with local views for systems of sequential agentsPublished by Springer Nature ,1995
- A Local Presentation of Synchronizing SystemsPublished by Springer Nature ,1995
- Adding Action Refinement to a Finite Process AlgebraInformation and Computation, 1994
- On syntactic and semantic action refinementPublished by Springer Nature ,1994
- Refinement of actions in event structures and causal treesTheoretical Computer Science, 1993
- Bisimulation and action refinementTheoretical Computer Science, 1993
- Modal and Temporal LogicsPublished by Oxford University Press (OUP) ,1992
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- A2CCS: atomic actions for CCSTheoretical Computer Science, 1990