Conditional rewriting logic as a unified model of concurrency
- 1 April 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 96 (1) , 73-155
- https://doi.org/10.1016/0304-3975(92)90182-f
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- The gamma model and its discipline of programmingScience of Computer Programming, 1990
- Actor grammarsTheory of Computing Systems, 1989
- The linear abstract machineTheoretical Computer Science, 1988
- A mathematical approach to nondeterminism in data typesACM Transactions on Programming Languages and Systems, 1988
- Graph expressions and graph rewritingsTheory of Computing Systems, 1987
- The categorical abstract machineScience of Computer Programming, 1987
- Operational and Semantic Equivalence Between Recursive ProgramsJournal of the ACM, 1980
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- SubequalizersCanadian Mathematical Bulletin, 1970