Bibliography
Axiomensysteme für die Theorie der Nebenläufigkeit.
Olaf Kummer.
Axiomensysteme für die Theorie der Nebenläufigkeit.
Berlin: Logos Verlag, 1996.
BibTeX
@BOOK{Kummer96,
AUTHOR = {Kummer, Olaf},
PAGES = {1--164},
PUBLISHER = {Berlin: Logos Verlag},
TITLE = {{Axiomensysteme f{\"u}r die Theorie der Nebenl{\"a}ufigkeit.}},
YEAR = 1996,
KEYWORDS = {axiomatic theory of concurrency; relations; co, li; cliques, kens; cuts, lines; D-continuity; consistent orientability;},
Isbn = {3-931216-28-4}
}
