Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
Fundamenta Informaticae
A regular viewpoint on processes and algebra
Acta Cybernetica
Hi-index | 0.00 |