BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gabbay:Murdoch_James

Contributed to:

CSL 20152015
FOSSACS 20112011
PPDP 20102010

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.