@inproceedings{7502557f16794c8cbee8b0c4b0ad2e98,

title = "An ω-Complete equational specification of interleaving",

abstract = "We consider the process theory PA that includes an operation for parallel composition, based on the interleaving paradigm. We prove that the standard set of axioms of PA is not ω-complete by providing a set of axioms that are valid in PA, but not derivable from the standard ones. We prove that extending PA with this set yields an ω-complete specification, which is finite in a setting with finitely many actions.",

author = "Fokkink, {W. J.} and Luttik, {S. P.}",

year = "2000",

month = jan,

day = "1",

language = "English",

isbn = "9783540450221",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer - Verlag",

pages = "729--743",

editor = "Ugo Montanari and Emo Welzl and Rolim, {Jose D. P.}",

booktitle = "Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings",

note = "27th International Colloquium on Automata, Languages and Programming, ICALP 2000 ; Conference date: 09-07-2000 Through 15-07-2000",

}