Fully abstract models for a process language with refinement

  • Mogens Nielsen
  • Uffe Engberg
  • Kim S. Larsen
Technical Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 354)


We study the use of sets of labelled partial orders (pomsets) as denotational models for process algebras. More specifically, we study their capability to capture degrees of nonsequentiality of processes. We present four full abstractness results. The operational equivalences are based on maximal action-sequences and step-sequences — defined for a very simple process language and its extensions with a refinement combinator (change of atomicity). The denotational models are all expressed as abstractions of a standard association of sets of labelled partial orders with processes.

Key words

concurrency change of atomicity noninterleaved models labelled partial orders semiwords full abstraction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Boudol, I. Castellani: Concurrency and Atomicity, INRIA Rapports de Recherche No 748, 1987.Google Scholar
  2. [2]
    U. Engberg: Ph.D. Thesis, Aarhus University, Denmark, in preparation.Google Scholar
  3. [3]
    J. Gischer: Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Stanford University, 1984Google Scholar
  4. [4]
    R. van Glabbeek, F. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency, Springer LNCS 259, 224–242, 1987.Google Scholar
  5. [5]
    M. Hennessy: Axiomatising Finite Concurrent Processes, University of Sussex, Report No. 4/84, 1987Google Scholar
  6. [6]
    M. Hennessy: An Algebraic Theory of Processes, MIT Press, 1988.Google Scholar
  7. [7]
    K. S. Larsen: A Fully Abstract Model for a Process Algebra with Refinement, Thesis, Aarhus University, Denmark, 1988.Google Scholar
  8. [8]
    A. Pnueli: Linear and Branching Structures in the Semantics and Logics of Reactive Systems, Springer LNCS 194, 15–32, 1987.Google Scholar
  9. [9]
    V.R. Pratt: Modelling Concurrency with Partial Orders, Int. J. of Parallel Programming 15, 33–71, 1986.CrossRefGoogle Scholar
  10. [10]
    G. Rozenberg, P.S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour, Springer LNCS, 224, 585–668, 1985.Google Scholar
  11. [11]
    P.H. Starke: Processes in Petri Nets, EIK 17, 8/9, 389–416, 1981Google Scholar
  12. [12]
    P.H. Starke: Traces and Semiwords, Springer LNCS, 208, 332–349, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Mogens Nielsen
    • 1
  • Uffe Engberg
    • 1
  • Kim S. Larsen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations