Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes
Authors:
Miquel Bertran;Felipe Alvarez-Cuevas;Albert Duran
Affiliations:
-;-;-
Venue:
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development