H ? « ‹ ← → › »

Language peer sets for ACP:
Netherlands↑
Netherlands/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

ACP(ID:1127/acp001)

Algebra of Communicating Processes 

alternate simple view
Country: Netherlands
Designed 1985
Published: 1985

Algebra of Communicating Processes.  (compare CCS).
Related languages
value-passing CCS → ACP   Augmentation of
ACP → microCRL   Based on
References:
  • Bergstra, J.A. & J.W. Klop, (1985) Bergstra, J.A. & J.W. Klop, "Algebra of Communicating Processes with Abstraction"
          in (1985) Theor Comp Sci 37(1) (1985).
  • Bruns, Glenn (1991) Bruns, Glenn "A Language for value-passing CCS" LFCS report ECS-LFCS-91-175 Abstract Online copy
          in (1985) Theor Comp Sci 37(1) (1985).
  • Ponse, A.; Verhoef, C. (1995) Ponse, A.; Verhoef, C. and S.F.M. van Vlijmen, editors. Algebra of Communicating Processes, Utrecht 1994. Workshops in Computing, Springer-Verlag, 1995.
          in (1985) Theor Comp Sci 37(1) (1985).
  • Ponse, A. (2001) Ponse, A. Iteration in process algebra. In R. Backhouse, D. Kozen, B. Moeller, Applications of Kleene Algebra, Report 298, Dagstuhl Seminar No. 01081, 2001.
          in (1985) Theor Comp Sci 37(1) (1985).
  • Ponse, A. (2002) Ponse, A. and van der Zwaag, M.B. The Logic of ACP. Report SEN-R0207, ISSN 1386-369X, CWI, Amsterdam, 2002. Abstract Online copy
          in (1985) Theor Comp Sci 37(1) (1985).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder