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: Bengtson:Jesper
Contributed to:
20102009
2008
2007
2016
2020Wrote 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.