The following pages link to Jean-Bernard Stefani (Q264995):
Displayed 28 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Checkpoint/rollback vs causally-consistent reversibility (Q1796395) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Causality analysis and fault ascription in component-based systems (Q2193287) (← links)
- (Q2736351) (← links)
- (Q2844040) (← links)
- (Q2906949) (← links)
- The m-calculus (Q2942912) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Controlled Reversibility and Compensations (Q3453755) (← links)
- Reversing Higher-Order Pi (Q3584950) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- (Q3792235) (← links)
- (Q4028622) (← links)
- (Q4251124) (← links)
- (Q4537136) (← links)
- (Q4762645) (← links)
- (Q4942014) (← links)
- An Abstract Machine for the Kell Calculus (Q4989023) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
- Concurrent Flexible Reversibility (Q5326296) (← links)
- Global Computing (Q5464841) (← links)
- Fault Ascription in Concurrent Systems (Q5857793) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902544) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- From behavioural contracts to session types (Q6199110) (← links)