Jean-Bernard Stefani

Available identifiers

zbMath Open stefani.jean-bernardMaRDI QIDQ264995

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2844040	2013-08-27	Paper
Concurrent Flexible Reversibility	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q2906949	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
Formal Methods for Open Object-Based Distributed Systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Bernard Stefani