Towards action-refinement in process algebras
Open Access
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Formal verification of parallel programsCommunications of the ACM, 1976