Travelled to:1 × Austria
2 × Germany
Collaborated with:V.Ciancia G.Dowek D.R.Ghica D.Petrisan
Talks about:nomin (2) name (2) interleav (1) techniqu (1) restrict (1) variabl (1) permiss (1) trace (1) scope (1) logic (1)
Person: Murdoch James Gabbay
DBLP: Gabbay:Murdoch_James
Contributed to:
2015
2011
2010Wrote 3 papers:
- CSL-2015-GabbayGP
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.
- FoSSaCS-2011-GabbayC #set #strict
- Freshness and Name-Restriction in Sets of Traces with Names (MJG, VC), pp. 365–380.
- PPDP-2010-DowekG #logic
- Permissive-nominal logic (GD, MJG), pp. 165–176.