Search the dblp DataBase

Publications of Author

1. Murdoch Gabbay, Aad Mathijssen
   Capture-Avoiding Substitution as a Nominal Algebra. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:198-212 [Conf]
   
2. Murdoch Gabbay, Aad Mathijssen
   One-and-a-halfth-order logic. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:189-200 [Conf]
   
3. Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
   From µCRL to mCRL2: Motivation and Outline. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:191-196 [Journal]
   
4. Murdoch Gabbay, Aad Mathijssen
   A Formal Calculus for Informal Equality with Binding. [Citation Graph (0, 0)][DBLP]
   WoLLIC, 2007, pp:162-176 [Conf]
   
5. Aad Mathijssen, A. Johannes Pretorius
   Verified Design of an Automated Parking Garage. [Citation Graph (0, 0)][DBLP]
   FMICS/PDMC, 2006, pp:165-180 [Conf]
   
6. 
   The Formal Specification Language mCRL2. [Citation Graph (, )][DBLP]
   
   
7. 
   Behavioural Analysis of an I²C Linux Driver. [Citation Graph (, )][DBLP]