Verification of Value-Passing Systems

• Authors:

• Zvi Schreiber

• Affiliations:

• -

• Venue:
• NAPAW '92 Proceedings of the First North American Process Algebra Workshop
• Year:
• 1992