Action Relations. Basic Design Concepts for Behaviour Modelling and Refinement.
Publisher: Centre for Telematics and Information Technology (CTIT)
Subject: METIS-118423 | EWI-8769 | IR-66778
This thesis presents basic design concepts, design methods and a basic design language for distributed system behaviours. This language is based on two basic concepts: the action concept and the causality relation concept. Our methods focus on behaviour refinement, whic... View more
 R. Langerak, E. Brinksma and J.-P. Katoen, Causal ambiguity and partial orders in event structures, in: A. Marzurkiewicz and J. Winkowski, eds., Concur '97: Concurrency Theory, LNCS 1243 (Springer-Verlag, Berlin, 1997) 317-331.