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 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
T.Heindel G.Winskel
Talks about:
independ (1) pushout (1) pattern (1) partial (1) concurr (1) semant (1) separ (1) model (1) logic (1) kappa (1)

Person: Jonathan Hayman

DBLP DBLP: Hayman:Jonathan

Contributed to:

ICGT 20142014
FOSSACS 20132013
LICS 20062006

Wrote 3 papers:

ICGT-2014-HaymanH #category theory #on the
On Pushouts of Partial Maps (JH, TH), pp. 177–191.
FoSSaCS-2013-HaymanH #graph #modelling #rule-based #semantics
Pattern Graphs and Rule-Based Models: The Semantics of Kappa (JH, TH), pp. 1–16.
LICS-2006-HaymanW #concurrent #independence #logic
Independence and Concurrent Separation Logic (JH, GW), pp. 147–156.

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.