Groote, F. and Ponse, A. "Proof theory for muCRL: a language for processes with data" pp232-251 (1994) |
Andrews, D.J. 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
|
|