 | 2010 |
|---|
| 11 |       | Murdoch James Gabbay,
Aad Mathijssen:
A Nominal Axiomatization of the Lambda Calculus.
J. Log. Comput. 20(2): 501-531 (2010) |
| 2009 |
|---|
| 10 | | Dragan Bosnacki,
Aad Mathijssen,
Yaroslav S. Usenko:
Behavioural Analysis of an I2C Linux Driver.
FMICS 2009: 205-206 |
| 9 | | Murdoch James Gabbay,
Aad Mathijssen:
Nominal (Universal) Algebra: Equational Logic with Names and Binding.
J. Log. Comput. 19(6): 1455-1508 (2009) |
| 2008 |
|---|
| 8 | | Murdoch James Gabbay,
Aad Mathijssen:
Capture-avoiding substitution as a nominal algebra.
Formal Asp. Comput. 20(4-5): 451-479 (2008) |
| 7 | | Murdoch James Gabbay,
Aad Mathijssen:
One-and-a-halfth-order Logic.
J. Log. Comput. 18(4): 521-562 (2008) |
| 2007 |
|---|
| 6 | | Murdoch Gabbay,
Aad Mathijssen:
A Formal Calculus for Informal Equality with Binding.
WoLLIC 2007: 162-176 |
| 2006 |
|---|
| 5 | | Aad Mathijssen,
A. Johannes Pretorius:
Verified Design of an Automated Parking Garage.
FMICS/PDMC 2006: 165-180 |
| 4 | | Murdoch Gabbay,
Aad Mathijssen:
Capture-Avoiding Substitution as a Nominal Algebra.
ICTAC 2006: 198-212 |
| 3 | | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
| 2 | | Murdoch Gabbay,
Aad Mathijssen:
One-and-a-halfth-order logic.
PPDP 2006: 189-200 |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page