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 × Iceland
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
J.Parrow M.Johansson B.Victor G.Malecha Jonas Kastberg Hinrichsen R.Krebbers
Talks about:
calculi (3) logic (3) nomin (2) psi (2) formalis (1) calculus (1) session (1) reflect (1) process (1) equival (1)

Person: Jesper Bengtson

DBLP DBLP: Bengtson:Jesper

Contributed to:

LICS 20102010
LICS 20092009
ICALP (2) 20082008
FoSSaCS 20072007
ESOP 20162016
POPL 20202020

Wrote 6 papers:

LICS-2010-JohanssonBPV #calculus
Weak Equivalences in Psi-Calculi (MJ, JB, JP, BV), pp. 322–331.
LICS-2009-BengtsonJPV #calculus #logic #mobile #named #process
Psi-calculi: Mobile Processes, Nominal Data, and Logic (JB, MJ, JP, BV), pp. 39–48.
ICALP-B-2008-JohanssonPVB #π-calculus
Extended π-Calculi (MJ, JP, BV, JB), pp. 87–98.
FoSSaCS-2007-BengtsonP #formal method #logic #using #π-calculus
Formalising the π-Calculus Using Nominal Logic (JB, JP), pp. 63–77.
ESOP-2016-MalechaB #automation #performance
Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.
POPL-2020-HinrichsenBK #logic #named #reasoning
Actris: session-type based reasoning in separation logic (JKH, JB, RK), p. 30.

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.