Search for persons
X
?
Reversible Computation; Lecture Notes in Computer Science ,
4
Implementation of a Reversible Distributed Calculus:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
pymwp: A Static Analyzer Determining Polynomial Growth Boun..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
6
Distributing and Parallelizing Non-canonical Loops:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
7
Replications in Reversible Concurrent Calculi:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
10
Concurrencies in Reversible Concurrent Calculi:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
11