Advertisement

Some finite-graph models for process algebra

  • Paul Spruit
  • Roel Wieringa
Selected Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 527)

Keywords

Process Variable Process Component Parallel Composition Parse Tree Atomic Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.Google Scholar
  2. [2]
    J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.Google Scholar
  3. [3]
    J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77–121, 1985.Google Scholar
  4. [4]
    J.A. Bergstra and J.W. Klop. Algebra of communicating processes. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Mathematics and Computer Science (CWI Monographs 1), pages 89–138. North-Holland, 1986.Google Scholar
  5. [5]
    R. J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Vrije Universiteit/Centrum voor Wiskunde en Informatica, Amsterdam, 1990.Google Scholar
  6. [6]
    D. Harel. On visual formalisms. Communications of the ACM, 31:514–530, 1988.Google Scholar
  7. [7]
    R. Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science 92.Google Scholar
  8. [8]
    R. Milner. Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  9. [9]
    P.A. Spruit. Two finite-graph models for basic process algebra. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, December 1990.Google Scholar
  10. [10]
    P.A. Spruit. Finite-graph models for Process Algebra with parallel composition. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, In preparation.Google Scholar
  11. [11]
    P.A. Spruit and C.J.A. Duivenvoorde. A syntax-and semantics-directed editor for conceptual model specifications. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, April 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Paul Spruit
    • 1
  • Roel Wieringa
    • 1
  1. 1.Department of Mathematics and Computer ScienceVrije UniversiteitAmsterdamThe Netherlands

Personalised recommendations