Abstract | ||
---|---|---|
The axiom system ACP of (10) was extended to discrete time in (6). Here, we proceed to define the silent step in this theory in branching bisimulation semantics (7, 15) rather than weak bisimulation semantics (11, 20). The version using relative timing is discussed extensively, versions using absolute and para- metric timing are presented in brief. A term model and a graph model are presented and soundness and completeness results are given. The time free theories BPAand BPA�� are embedded in the discrete time theories. Examples of the use of the relative time theory are given by means of some calculations on com- municating buffers. Note: Partial support received from ESPRIT Basic Research Action 7166, CONCUR2. This paper supersedes (4). |
Year | Venue | Keywords |
---|---|---|
2000 | The Journal of Logic and Algebraic Programming | silent step,discrete time process algebra |
DocType | ISBN | Citations |
Conference | 0-262-16188-5 | 8 |
PageRank | References | Authors |
0.53 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. C. M. Baeten | 1 | 75 | 4.08 |
Jan A. Bergstra | 2 | 1445 | 140.42 |
M. A. Reniers | 3 | 45 | 4.07 |