Causality based models for the design of concurrent systems

  • Ursula Goltz
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 527)


A design calculus for concurrent systems or, more specifically, for reactive systems, will need the following components:
  • •A (logical) language for the property oriented specification of systems.

  • •A system description language to represent abstract and more concrete design specifications.

  • •Models for concurrent systems which are used as semantic domains for both the logical language and the system description language.

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ursula Goltz
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSt. Augustin

Personalised recommendations