Jesper Bengtson

Available identifiers

zbMath Open bengtson.jesperMaRDI QIDQ287320

List of research outcomes

Publication	Date of Publication	Type
A sound and complete projection for global types	2024-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q5094146	2022-08-02	Paper
Formally verifying exceptions for low-level code with separation logic	2017-12-01	Paper
Psi-calculi in Isabelle	2016-05-26	Paper
Extensible and Efficient Automation Through Reflective Tactics	2016-04-26	Paper
A completeness proof for bisimulation in the pi-calculus using Isabelle	2014-01-10	Paper
Web services as a new approach to distributing and coordinating semantics-based verification toolkits	2013-09-11	Paper
Charge! A framework for higher-order separation logic in Coq	2012-09-20	Paper
Verifying object-oriented programs with higher-order separation logic in Coq	2011-08-17	Paper
Psi-calculi: a framework for mobile processes with nominal data and logic	2011-05-26	Paper
Psi-calculi in Isabelle	2009-10-20	Paper
Formalising the pi-calculus using nominal logic	2009-08-20	Paper
Extended pi-Calculi	2008-08-19	Paper
Formalising the π-Calculus Using Nominal Logic	2007-09-07	Paper

Research outcomes over time

This page was built for person: Jesper Bengtson