Refinement of actions in causality based models
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 267-300
- https://doi.org/10.1007/3-540-52559-9_68
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Fully abstract models for a process language with refinementPublished by Springer Nature ,1989
- The equational theory of pomsetsTheoretical Computer Science, 1988
- Event structuresPublished by Springer Nature ,1987
- Petri nets in software engineeringPublished by Springer Nature ,1987
- Behaviour preserving refinements of Petri netsPublished by Springer Nature ,1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Top-down design and the algebra of communicating processesScience of Computer Programming, 1985
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979