Skip to content

Axiomatizing Flat Iteration.

Rob J. van Glabbeek

VenueBCONCUR
Year1997
ProceedingsCONCUR

Browse the full CONCUR paper archive.