Action Relations. Basic Design Concepts for Behaviour Modelling and Refinement.

Doctoral thesis English OPEN
Quartel, Dick;
  • 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
  • References (1)

    [15] 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.

  • Metrics
Share - Bookmark