Some Constructions for Order-Theoretic Models of Concurrency

Transition and cancellation in concurrency and branching time

Mathematical Structures in Computer Science

Higher dimensional automata revisited

Mathematical Structures in Computer Science

Working with the Past: Integrating History in Petri Nets

Fundamenta Informaticae - PETRI NETS 2007

Token History Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

History-dependent Petri nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Linear process algebra

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology

Token History Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Working with the Past: Integrating History in Petri Nets

Fundamenta Informaticae - PETRI NETS 2007