Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The word problem for 1LC congruences is NP-hard
Theoretical Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Hi-index | 0.00 |