Towards Action-Refinement in Process Algebras - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Luca Aceto, Matthew Hennessy. Towards Action-Refinement in Process Algebras. Inf. Comput., 103(2):204-269, April 1993.

The following publications are possibly variants of this publication:

Towards Action-Refinement in Process AlgebrasLuca Aceto, Matthew Hennessy. lics 1989: 138-145

Adding Action Refinement to a Finite Process AlgebraLuca Aceto, Matthew Hennessy. iandc, 115(2):179-247, December 1994.

Adding Action Refinement to a Finite Process AlgebraLuca Aceto, Matthew Hennessy. icalp 1991: 506-519

Action refinement in process algebrasLuca Aceto. PhD thesis, University of Sussex, Falmer, East Sussex, UK, 1991. [doi]

runs on WebDSL