Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Theoretical Computer Science
Series and Parallel Operations on Pomsets
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Hi-index | 0.00 |