Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications

• Authors:

• Yamina Sami;Guy Vidal-Naquet

• Affiliations:

• -;-

• Venue:
• PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
• Year:
• 1991