Polarized process algebra with reactive composition
Authors:
- 17 October 2005
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 343 (3) , 285-304
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Thread Algebra with Multi-level Strategic Interleaving2005
- Polarized Process Algebra and Program Equivalence2003
- Program algebra for sequential codeThe Journal of Logic and Algebraic Programming, 2002
- The chemical abstract machineTheoretical Computer Science, 1992
- Programming languages for distributed computing systemsACM Computing Surveys, 1989
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A Calculus of Communicating Systems1980