Abstract | ||
---|---|---|
This paper proposes a framework for the integration of the algebra of communicating processes (ACP) and the algebra of flownomials (AF). Basically, this means to combine axiomatisations of parallel and looping operators. To this end a model of process graphs with multiple entries and exits is introduced. In this model the usual operations of both algebras are defined, e.g. alternative composition, sequential composition, feedback, parallel composition, left merge, communication merge, encapsulation, etc. The main results consist of correct and complete axiomatisations for process graphs modulo isomorphism and modulo bisimulation. |
Year | DOI | Venue |
---|---|---|
1996 | 10.3233/FI-1996-27103 | Fundam. Inform. |
Keywords | Field | DocType |
multiple entries,process graphs modulo isomorphism,process graph,modulo isomorphism,modulo bisimulation,multiple entry,complete axiomatisations,main result,parallel composition,alternative composition,looping operator,exits modulo isomorphism,sequential composition | Discrete mathematics,Combinatorics,Modulo,Isomorphism,Bisimulation,Mathematics | Journal |
Volume | Issue | Citations |
27 | 1 | 0 |
PageRank | References | Authors |
0.34 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1445 | 140.42 |
Gh. Ştefănescu | 2 | 5 | 1.37 |