Action systems and action refinement in the development of parallel systems
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 298-316
- https://doi.org/10.1007/3-540-54430-5_96
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Predicates are predicate transformers: a unified compositional theory for concurrencyPublished by Association for Computing Machinery (ACM) ,1989
- Fully abstract models for a process language with refinementPublished by Springer Nature ,1989
- A calculus of refinements for program derivationsActa Informatica, 1988
- Interleaving set temporal logicPublished by Association for Computing Machinery (ACM) ,1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Decomposition of distributed programs into communication-closed layersScience of Computer Programming, 1982
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- An axiomatic proof technique for parallel programs IActa Informatica, 1976