Implementation of a transition semantics for parallel programs with shared variables

  • Thomas Wolff
Part of the Lecture Notes in Computer Science book series (LNCS, volume 349)


A semantics-oriented interpretation system for a certain type of parallel programs has been built that is also user-friendly and efficient. It has been implemented on an Apollo workstation. A more detailed discussion of the system can be found in [W].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [O]
    E.-R. Olderog: Korrektheitsbeweise paralleler und verteilter Programme. (Correctness proofs of parallel and distributed programs.) Lecture at the University of Kiel, summer 1986.Google Scholar
  2. [OA]
    E.-R. Olderog, K.R. Apt: Fairness in Parallel Programs: The Transformational Approach. ACM Transactions on Programming Languages and Systems 10, 3 (July 1988), 420–455.Google Scholar
  3. [P]
    G.D. Plotkin: A structural approach to operational semantics. Report DAIMI FN-19, September 1981, Computer Science Department, Aarhus University.Google Scholar
  4. [W]
    T. Wolff: Implementierung einer Transitionssemantik für parallele Programme mit gemeinsamen Variablen. Diplomarbeit an der Universität Kiel, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Thomas Wolff

There are no affiliations available

Personalised recommendations