Search for persons
X
?
Reversible Computation; Lecture Notes in Computer Science ,
1
A Small-Step Semantics for Janus:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
2
Reversibility with Holes: (Work in Progress):
, In:
?
2024 27th Conference on Innovation in Clouds, Internet and Networks (ICIN) ,
3
In-Depth Analysis of Kubernetes Manifest Verification Tools..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
5
Generation of a Reversible Semantics for Erlang in Maude:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
6
Reversibility in Erlang: Imperative Constructs:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
7
Causal-Consistent Debugging of Distributed Erlang Programs:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
9
Encapsulation and Sharing in Dynamic Software Architectures..:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
10
From Behavioural Contracts to Session Types:
, In:
?
2019 15th International Conference on Network and Service Management (CNSM) ,
11
Formal Verification of Orchestration Templates for Reliable..:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
12
Checkpoint/Rollback vs Causally-Consistent Reversibility:
, In:
?
14
Reversible Computation
7th International Conference, RC 2015, Grenoble, France, Ju...
Lecture Notes in Computer Science ; 9138;SpringerLink, Bücher