Causal ambiguity and partial orders in event structures

Romanus Langerak; Hendrik Brinksma; Joost P. Katoen

Causal ambiguity and partial orders in event structures

Romanus Langerak, Hendrik Brinksma, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag
Place of Publication	Warsaw, Poland
Pages	-
Number of pages	15
Publication status	Published - 2 Jul 1997

Keywords

METIS-120062

Cite this

@inproceedings{81ef52fc457549789d577b71aa7fde89,

title = "Causal ambiguity and partial orders in event structures",

keywords = "METIS-120062",

author = "Romanus Langerak and Hendrik Brinksma and Katoen, {Joost P.}",

year = "1997",

month = jul,

day = "2",

language = "Undefined",

isbn = "0302-9743",

pages = "--",

booktitle = "Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag",

}

Causal ambiguity and partial orders in event structures. / Langerak, Romanus ; Brinksma, Hendrik ; Katoen, Joost P.

Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, 1997. p. -.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Causal ambiguity and partial orders in event structures

AU - Langerak, Romanus

AU - Brinksma, Hendrik

AU - Katoen, Joost P.

PY - 1997/7/2

Y1 - 1997/7/2

KW - METIS-120062

M3 - Conference contribution

SN - 0302-9743

SP - -

BT - Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag

CY - Warsaw, Poland

ER -