Abstract / Description of output
We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.
Original language | English |
---|---|
Title of host publication | Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings |
Editors | Jiří Fiala, Václav Koubek, Jan Kratochvíl |
Place of Publication | Heidelberg |
Publisher | Springer |
Pages | 550-561 |
Number of pages | 12 |
ISBN (Electronic) | 978-3-540-28629-5 |
ISBN (Print) | 978-3-540-22823-3 |
DOIs | |
Publication status | Published - 27 Aug 2004 |
Event | The 9th International Symposium on Mathematical Foundations of Computer Science, 2004 - Prague, Czech Republic Duration: 22 Aug 2004 → 27 Aug 2004 Conference number: 9 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 3153 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Symposium
Symposium | The 9th International Symposium on Mathematical Foundations of Computer Science, 2004 |
---|---|
Abbreviated title | MFCS 2004 |
Country/Territory | Czech Republic |
City | Prague |
Period | 22/08/04 → 27/08/04 |