The regular viewpoint on PA-processes
Theoretical Computer Science
Modeling dynamic objects in distributed systems with nested Petri nets
Fundamenta Informaticae
An automata-theoretic approach to the reachability analysis of RPPS systems
Nordic Journal of Computing
Verification of Embedded Reactive Fiffo Systems
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Ordinal theory for expressiveness of well structured transition systems
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Ordinal theory for expressiveness of well-structured transition systems
Information and Computation
Hi-index | 0.00 |