Action refinement in process algebras
| Main Author: | Aceto, Luca (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Cambridge University Press
c1992
|
| Series: | Distinguished Dissertations in Computer Science
|
| Subjects: |
Similar Items
-
Process algebra
by: Baeten, J.C.M, et al.
Published: (1990) -
Computing in Algebraic Geometry A Quick Start using SINGULAR
by: Decker, Wolfram
Published: (2006) -
Algebra
by: Cohn, P. M., (Paul Moritz) -
Algebra /
by: Lang, Serge, 1927-2005
Published: (2002) -
Algebra /
by: MacLane, Saunders, 1909-
Published: (1967)