A solution of an interleaving decision problem by a partial order technique

• Authors:

• Albert R. Meyer;Alexander Rabinovich

• Affiliations:

• -;-

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