Turning SOS rules into equations
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1Fundamenta Informaticae, 1986
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Process algebra for synchronous communicationInformation and Control, 1984