Search for persons
X
?
Reversible Computation; Lecture Notes in Computer Science ,
1
Reversibility with Holes: (Work in Progress):
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
2
A Small-Step Semantics for Janus:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
3
Choreographic Automata: A Case Study in Healthcare Manageme..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
4
Causal Debugging for Concurrent Systems:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
5
Causal Reversibility Implies Time Reversibility:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
6
Towards a Taxonomy for Reversible Computation Approaches:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
7
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 ,
8
On Formal Choreographic Modelling: A Case Study in EU Busin..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
9
The Reversible Temporal Process Language:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
11
Reversibility in Erlang: Imperative Constructs:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
12
Formal Choreographic Languages:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
13
Forward-Reverse Observational Equivalences in CCSK:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
14
Causal-Consistent Debugging of Distributed Erlang Programs:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
15