Rewriting logic as a semantic framework for concurrency: a progress report
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 331-372
- https://doi.org/10.1007/3-540-61604-7_64
Abstract
No abstract availableKeywords
This publication has 47 references indexed in Scilit:
- Axiomatizing permutation equivalence in the λ-calculusPublished by Springer Nature ,2005
- An algebra of graphs and graph rewritingPublished by Springer Nature ,2005
- An object-oriented algebraic steam-boiler control specificationPublished by Springer Nature ,1996
- Contextual netsActa Informatica, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- An object-oriented airport: Specification and refinement in MaudePublished by Springer Nature ,1995
- Timed transition systemsPublished by Springer Nature ,1992
- Net-based description of parallel object-based systems, or POTs and POPsPublished by Springer Nature ,1991
- The gamma model and its discipline of programmingScience of Computer Programming, 1990
- Graph expressions and graph rewritingsTheory of Computing Systems, 1987