 | 2009 |
|---|
| 8 |       | Muck van Weerdenburg:
Automating Soundness Proofs.
Electr. Notes Theor. Comput. Sci. 229(4): 107-118 (2009) |
| 7 | | Muck van Weerdenburg,
Michel A. Reniers:
Structural Operational Semantics with First-Order Logic.
Electr. Notes Theor. Comput. Sci. 229(4): 85-106 (2009) |
| 6 | | Tom A. N. Engels,
Jan Friso Groote,
Muck van Weerdenburg,
Tim A. C. Willemse:
Search algorithms for automated validation.
J. Log. Algebr. Program. 78(4): 274-287 (2009) |
| 2008 |
|---|
| 5 | | Muck van Weerdenburg:
Process Algebra with Local Communication.
Electr. Notes Theor. Comput. Sci. 215: 191-208 (2008) |
| 2007 |
|---|
| 4 | | Michel A. Reniers,
Muck van Weerdenburg:
Action Abstraction in Timed Process Algebra.
FSEN 2007: 287-301 |
| 3 | | Muck van Weerdenburg:
An Account of Implementing Applicative Term Rewriting.
Electr. Notes Theor. Comput. Sci. 174(10): 139-155 (2007) |
| 2006 |
|---|
| 2 | | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
| 1 | | 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) |
