Interval Traces with Mutex Relation

Ryszard Janicki, Maciej Koutny, Lukasz Mikulski. Interval Traces with Mutex Relation. In Luís Gomes 0001, Robert Lorenz 0001, editors, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Volume 13929 of Lecture Notes in Computer Science, pages 145-166, Springer, 2023. [doi]

Authors

Ryszard Janicki

This author has not been identified. Look up 'Ryszard Janicki' in Google

Maciej Koutny

This author has not been identified. Look up 'Maciej Koutny' in Google

Lukasz Mikulski

This author has not been identified. Look up 'Lukasz Mikulski' in Google