An Efficient Verifier of Truly Concurrent Properties

• Authors:

• Alessandro Bianchi;Stefano Coluccini;Pierpaolo Degano;Corrado Priami

• Affiliations:

• -;-;-;-

• Venue:
• PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
• Year:
• 1995