Jean-Bernard Stefani

Available identifiers

zbMath Open stefani.jean-bernardMaRDI QIDQ264995

List of research outcomes

Publication	Date of Publication	Type
Reversibility with holes (work in progress)	2024-11-13	Paper
A small-step semantics for Janus	2024-11-13	Paper
Reversible debugging of concurrent Erlang programs: supporting imperative primitives	2024-03-20	Paper
From behavioural contracts to session types	2024-02-23	Paper
Reversibility in Erlang: imperative constructs	2022-11-11	Paper
Causal-Consistent Debugging of Distributed Erlang Programs	2021-11-03	Paper
An Abstract Machine for the Kell Calculus	2021-05-20	Paper
Fault Ascription in Concurrent Systems	2021-04-07	Paper
Causality analysis and fault ascription in component-based systems	2020-08-25	Paper
Checkpoint/rollback vs causally-consistent reversibility	2018-10-17	Paper
Reversibility in the higher-order \(\pi\)-calculus	2016-04-01	Paper
Controlled Reversibility and Compensations	2015-11-30	Paper
The m-calculus	2015-09-11	Paper
A calculus of kells	2013-08-27	Paper
Concurrent Flexible Reversibility	2013-08-05	Paper
Behavioural typing for objects and process calculi	2012-09-05	Paper
Characterizing contextual equivalence in calculi with passivation	2011-12-12	Paper
Controlling Reversibility in Higher-Order Pi	2011-09-02	Paper
Reversing Higher-Order Pi	2010-08-31	Paper
The Kell calculus: operational semantics and type system.	2010-01-12	Paper
Howe’s Method for Calculi with Passivation	2009-10-22	Paper
Normal Bisimulations in Calculi with Passivation	2009-03-31	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4537136	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2736351	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4762645	2001-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4942014	2001-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4251124	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4028622	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3792235	1988-01-01	Paper

Research outcomes over time

This page was built for person: Jean-Bernard Stefani