Bibliography
Axiomatic Systems in Concurrency Theory
Olaf Kummer.
Axiomatic Systems in Concurrency Theory.
Logos Verlag, Berlin, 2001.
ISBN 3-89722-597-2.
BibTeX
@BOOK{Kummer01a,
AUTHOR = {Kummer, Olaf},
ADDRESS = {Berlin},
NOTE = {ISBN 3-89722-597-2},
PUBLISHER = {Logos Verlag},
TITLE = {Axiomatic Systems in Concurrency Theory},
YEAR = 2001
}