Formal Development of Actor Programs Using Structured Algebraic Petri Nets

• Authors:

• Didier Buchs;Nicolas Guelfi

• Affiliations:

• -;-

• Venue:
• PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
• Year:
• 1993