TY - GEN
T1 - A cook’s tour of equational axiomatizations for prefix iteration
AU - Aceto, Luca
AU - Fokkink, Wan
AU - Ingólfsdóttir, Anna
PY - 1998/1/1
Y1 - 1998/1/1
N2 - Prefix iteration is a variation on the original binary version of the Kleene 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.
AB - Prefix iteration is a variation on the original binary version of the Kleene 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.
UR - https://www.scopus.com/pages/publications/84947940291
UR - https://www.scopus.com/pages/publications/84947940291#tab=citedBy
M3 - Conference contribution
AN - SCOPUS:84947940291
SN - 3540643001
SN - 9783540643005
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 20
EP - 34
BT - Foundations of Software Science and Computation Structures - 1st International Conference, FoSSaCS 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings
A2 - Nivat, Maurice
PB - Springer - Verlag
T2 - 1st International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998
Y2 - 28 March 1998 through 4 April 1998
ER -