?
Reversible Computation; Lecture Notes in Computer Science ,
2
Reversibility with Holes: (Work in Progress):
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
3
A Small-Step Semantics for Janus:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
Choreographic Automata: A Case Study in Healthcare Manageme..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
6
Causal Debugging for Concurrent Systems:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
8
Causal Reversibility Implies Time Reversibility:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
9
Towards a Taxonomy for Reversible Computation Approaches:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
10
Generation of a Reversible Semantics for Erlang in Maude:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
11
On Formal Choreographic Modelling: A Case Study in EU Busin..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
12