Debate'90: an electronic discussion on true concurrency

• Authors:

• Vaughan Pratt;Doron A. Peled;Gerard J. Holzmann

• Affiliations:

• -;-;-

• Venue:
• POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
• Year:
• 1997