| 2008 |
|---|
| 5 | EE | Muck van Weerdenburg:
Process Algebra with Local Communication.
Electr. Notes Theor. Comput. Sci. 215: 191-208 (2008) |
| 2007 |
|---|
| 4 | EE | Michel A. Reniers,
Muck van Weerdenburg:
Action Abstraction in Timed Process Algebra.
FSEN 2007: 287-301 |
| 3 | EE | Muck van Weerdenburg:
An Account of Implementing Applicative Term Rewriting.
Electr. Notes Theor. Comput. Sci. 174(10): 139-155 (2007) |
| 2006 |
|---|
| 2 | EE | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
| 1 | EE | Jan Friso Groote,
Aad Mathijssen,
Muck van Weerdenburg,
Yaroslav S. Usenko:
From µCRL to mCRL2: Motivation and Outline.
Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006) |
