Login / Signup

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.

Miquel BertranFelipe Alvarez-CuevasAlbert Duran
Published in: ARTS (1997)
Keyphrases