Teams can see pomsets (preliminary version)

• Authors:

• Gordon Plotkin;Vaughan Pratt

• Affiliations:

• -;-

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