A Subset of Lotos with the Computational Power of Place/Transition-Nets

Authors:
Michel Barbeau;Gregor von Bochmann
Affiliations:
-;-
Venue:
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Year:
1993

Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems

Programming and Computing Software
Mapping RT-LOTOS specifications into time petri nets

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Effective representation of RT-LOTOS terms by finite time petri nets

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Hi-index	0.00