Final universes of processes

  • Peter Aczel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 802)


We describe the final universe approach to the characterisation of semantic universes and illustrate it by giving characterisations of the universes of CCS and CSP processes.


Final Universe Process Coalgebra Labelled Transition System CCS CSP 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes, No. 14, Stanford University, 1988.Google Scholar
  2. [2]
    P. Aczel and Nax Mendler, A Final Coalgebra Theorem, in Springer Lecture Notes in Computer Science No. 389, Category Theory and Computer Science, edited by D.H. Pitt et al., pp 357–365.Google Scholar
  3. [3]
    J.C.M. Baeten and W.P. Weijland, Process Algebra, Cambridge University Press, 1990.Google Scholar
  4. [4]
    M. Hennessy, Algebraic Theory of Processes, MIT Press, 1988.Google Scholar
  5. [5]
    C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.Google Scholar
  6. [6]
    Robin Milner, Communication and Concurrency, Prentice Hall, 1989.Google Scholar
  7. [7]
    Lawrence S. Moss and Satish R. Thatte, Generalisation of Final Algebra Semantics by Relativisation, LNCS 442 (1990), 284–300.Google Scholar
  8. [8]
    J.J.M.M. Rutten and D. Turi, On the Foundations of Final Semantics: Non-standard sets, Metric Spaces, Partial Orders, Technical Report CS-R9241, CWI (Centre for Mathematics and Computer Science), Amsterdam, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Peter Aczel
    • 1
  1. 1.Departments of Mathematics and Computer ScienceManchester UniversityManchesterUK

Personalised recommendations