@inproceedings{3a9824a2c75848ad8a1b6daa1cc7a585,
title = "An omega-complete equational specification of interleaving",
author = "W.J. Fokkink and S.P. Luttik",
year = "2000",
language = "English",
isbn = "3-540-67715-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "729--743",
editor = "U. Montanari and J.D.P. Rolim and W. Welzl",
booktitle = "Automata, Languages and Programming (Proceedings 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000)",
address = "Germany",
}