Graph grammars as context-dependent rewriting systems: A partial ordering semantics
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 232-247
- https://doi.org/10.1007/3-540-55251-0_13
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Proving partial order liveness propertiesPublished by Springer Nature ,2005
- A partial ordering semantics for CCSTheoretical Computer Science, 1990
- Semantics of Systems of Concurrent ProcessesPublished by Springer Nature ,1990
- Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyPublished by Springer Nature ,1989
- A model for distributed systems based on graph rewritingJournal of the ACM, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Petri NetsPublished by Springer Nature ,1985
- Embedding theorems in the algebraic theory of graph grammarsPublished by Springer Nature ,1977
- Categories for the Working MathematicianPublished by Springer Nature ,1971