| |
| 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) |
| 1 | Jan Friso Groote | [1] [2] |
| 2 | Aad Mathijssen | [1] [2] |
| 3 | Michel A. Reniers | [2] [4] |
| 4 | Yaroslav S. Usenko | [1] [2] |