Algebraic specification of concurrency
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Observational structures and their logicTheoretical Computer Science, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Petri nets and algebraic specificationsTheoretical Computer Science, 1991
- An introduction to event structuresPublished by Springer Nature ,1989
- Predicative specifications for functional programs describing communicating networksInformation Processing Letters, 1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Metric interpretations of infinite trees and semantics of non deterministic recursive programsTheoretical Computer Science, 1980