Showing cs.LOShow all
2 papers · 1 filter
cs.LO2002
Precongruence Formats for Decorated Trace Semantics
B. Bloom, W. J. Fokkink, R. J. van Glabbeek
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats o…
cs.LO1998
Axiomatizing Flat Iteration
R. J. van Glabbeek
Flat iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be a sum of atomic actions. It generali…