The step failure semantics

  • Dirk Taubner
  • Walter Vogler
Contributed Papers Semantics Of Parallelism
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)


The (linear) failure semantics is a well known model for the theoretical version of Hoare's CSP. We generalize this semantics by taking steps (i.e. multisets of simultaneously occurring actions) instead of single actions as the basic execution unit. Hence opposed to the linear semantics, where parallelism is modelled as arbitrary interleaving in order to avoid technical complication, the step failure semantics models true parallelism and is equally easy to manage. Opposed to the linear model here divergence is treated uniformly.

The relation to the linear semantics can be established using our newly introduced deparallelize operator.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Arnold 82]
    A. Arnold: Synchronized Behaviours of Processes and Rational Relations; Acta Informatica 17, 21–29 (1982)Google Scholar
  2. [Brookes, Hoare, Roscoe 84]
    S.D. Brookes, C.A.R. Hoare, A. W. Roscoe: A Theory of Communicating Sequential Processes; JACM 31, 560–599 (1984)Google Scholar
  3. [Brookes, Roscoe 84]
    S.D. Brookes, A.W. Roscoe: An Improved Failures Model for Communicating Processes; in S.D. Brookes, A.W. Roscoe, G. Winskel (eds.): Seminar on Concurrency (1984); LNCS 197, 281–305Google Scholar
  4. [Broy 86]
    M. Broy: Process Semantics of Communicating Concurrent Programs; Univ. Passau, Report MIP-8602 (1986)Google Scholar
  5. [Elrad, Francez 82]
    T. Elrad, N. Francez: Decomposition of Distributed Programs into Communication-closed Layers; Science of Computer Programming 2, 155–173 (1982)Google Scholar
  6. [Francez et al. 79]
    N. Francez, C.A.R. Hoare, D.J. Lehmann, W.P. de Roever: Semantics of Nondeterminism, Concurrency, and Communication; JCSS 19, 290–308 (1979)Google Scholar
  7. [Francez, Lehmann, Pnueli 84]
    N. Francez, D. Lehmann, A. Pnueli: A Linear-history Semantics for Languages for Distributed Programming; TCS 32, 25–46 (1984)Google Scholar
  8. [Goltz, Loogen 85]
    U. Goltz, R. Loogen: Towards a Non-interleaving Semantic Model for CSP-like Languages; RWTH Aachen, Bericht Nr. 105 (1985)Google Scholar
  9. [Hoare 78]
    C.A.R. Hoare: Communicating Sequential Processes; CACM 21, 666–677 (1978)Google Scholar
  10. [Kiehn 86]
    A. Kiehn: On the Concurrent Behaviour of Petri Nets; Univ. Hamburg, Bericht FBI-HH-B-119/86 (1986)Google Scholar
  11. [Loogen 85]
    R. Loogen: Ein semantisches Modell für nichtdeterministische, parallele Prozesse; RWTH Aachen, Diploma Thesis (1985) unpublishedGoogle Scholar
  12. [Milne 85]
    G.J. Milne: CIRCAL and the Representation of Communication, Concurrency, and Time; ACM TOPLAS 7, 270–298 (1985)Google Scholar
  13. [Milner 80]
    R. Milner: A Calculus of Communicating Systems; LNCS 92 (1980)Google Scholar
  14. [Nivat 82]
    M. Nivat: Behaviours of Processes and Synchronized Systems of Processes; in: M.Broy, G.Schmidt(eds.): Theoretical Foundations of Programming Methodology, 473–551 (1986)Google Scholar
  15. [Olderog, Hoare 86]
    E.-R. Olderog, C.A.R. Hoare: Specification-oriented Semantics for Communicating Processes; Acta Informatica 23, 9–66 (1986)Google Scholar
  16. [Plotkin 83]
    G.D. Plotkin: An Operational Semantics for CSP; in: D. Bjørner (ed.): Formal Descriptions of Programming Concepts II, IFIP 1983, 199–223Google Scholar
  17. [Reisig 85]
    W. Reisig: On the Semantics of Petri Nets; in: E.J.Neuhold, G.Chroust(eds.): Formal Models in Programming; IFIP 1985, 347–372Google Scholar
  18. [Rozenberg, Verraedt 83]
    G. Rozenberg, R. Verraedt: Subset Languages of Petri Nets, Parts I and II; TCS 26, 301–326 (1986) and TCS 27, 85–108 (1986)Google Scholar
  19. [Salwicki, Müldner 81]
    A. Salwicki, T. Müldner: On the Algorithmic Properties of Concurrent Programs; LNCS 125, 169–197 (1981)Google Scholar
  20. [Shields, Lauer 79]
    M.W. Shields, P.E. Lauer: A Formal Semantics for Concurrent Systems; LNCS 71, 571–584 (1979)Google Scholar
  21. [Taubner 85]
    D. Taubner: Two Net-oriented Semantics for TCSP; Univ. Hamburg, Bericht FBI-HH-B-116/85 (1985)Google Scholar
  22. [Taubner, Vogler 86]
    D. Taubner, W. Vogler: The Step Failure Semantics; Techn. Univ. München, Report TUM-18614 (1986)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Dirk Taubner
    • 1
  • Walter Vogler
    • 1
  1. 1.Institut für InformatikTU MünchenMünchen 2

Personalised recommendations