published in Proceedings - International Conference on Application of Concurrency to System Design, ACSD Journal
presented at event Second International Conference on Application of Concurrency to System Design. ACSD 2001 Conference
keywords Computer Science Computer Science, Hardware & Architecture Computer Science, Software Engineering Engineering Engineering, Electrical & Electronic MODEL Science & Technology Technology Theory of parallel and distributed computation behaviour abstraction communicating sequential processes compositionality refinement