H ? « ‹ ← → › »

Language peer sets for microCRL:
Netherlands↑
Netherlands/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1990↑
Specialised Languages/nl ↑

microCRL(ID:4971/mic011)

Algebraic specification 

alternate simple view
Country: Netherlands
Designed 1990
Sammet category: Specialised Languages

Algebraic specification language from CWI

According to Bruns 1991, process part based on ACP
Related languages
ACP → microCRL   Based on
iCRL → microCRL   Extension of
microCRL → pCRL   Extension of
References:
  • Bruns, Glenn (1991) Bruns, Glenn "A Language for value-passing CCS" LFCS report ECS-LFCS-91-175 Abstract Online copy
  • Groote, J.F. (1991) Groote, J.F. and A. Ponse. muCRL: A base for analysing processes with data. In E. Best and G. Rozenberg, editors, Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD-Studien Nr. 191, pages 125-130. Universität Hildesheim, May 1991
  • Groote, F. and Ponse, A. (1994) Groote, F. and Ponse, A. "Proof theory for muCRL: a language for processes with data" pp232-251 Abstract
          in Andrews, D.J. (0) Andrews, D.J. ; J.F. Groote, and C.A. Middelburg, editors, Proceedings IWSSL (International Workshop on Semantics of Specification Languages), Workshops in Computing, Springer-Verlag, 1994
  • Groote, J.F. (1994) Groote, J.F. and A. Ponse. The syntax and semantics of muCRL. A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors. Algebra of Communicating Processes, Utrecht 1994. Workshops in Computing, Springer-Verlag, pages 26-62, 1995.
          in Andrews, D.J. (0) Andrews, D.J. ; J.F. Groote, and C.A. Middelburg, editors, Proceedings IWSSL (International Workshop on Semantics of Specification Languages), Workshops in Computing, Springer-Verlag, 1994
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder