A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
A regular viewpoint on processes and algebra
Acta Cybernetica
Bisimulation and the reduction of Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |