Partial Order Semantics of Types of Nets

Robert Lorenz, Gabriel Juhás, Sebastian Mauser. Partial Order Semantics of Types of Nets. In Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia, editors, SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Volume 5404 of Lecture Notes in Computer Science, pages 388-400, Springer, 2009. [doi]

Abstract

Abstract is missing.