Since 2014
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
|
|
| Creator |
Aceto, Luca
Fokkink, Willem Jan Ingólfsdóttir, Anna |
|
| Description |
Prefix iteration is a variation on the original binary version of theKleene star operation P*Q, obtained by restricting the first argument to be an atomic action, and yields simple iterative behaviours that can be equationally characterized by means of finite collections of axioms. In this paper, we present axiomatic characterizations for a significant fragment of the notions of equivalence and preorder in van Glabbeek's linear-time/branching-time spectrum over Milner's basic CCS extended with prefix iteration. More precisely, we consider ready simulation, simulation, readiness, trace and language semantics, and provide complete (in)equational axiomatizations for each of these notions over BCCS with prefix iteration. All of the axiom systems we present are finite, if so is the set of atomic actions under consideration.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1998-06-19
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19494
10.7146/brics.v5i49.19494 |
|
| Source |
BRICS Report Series; No 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
BRICS Report Series; No 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19494/17116
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|