Towards A Theory Of Simulation For Verification Of Concurrent Systems

• Authors:

• Ryszard Janicki;Maciej Koutny

• Affiliations:

• -;-

• Venue:
• PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
• Year:
• 1989