Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642307928, 9783642307935
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Secure Multi-Execution through Static Program Transformation

2012 ◽  
pp. 186-202 ◽  
Author(s):  
Gilles Barthe ◽  
Juan Manuel Crespo ◽  
Dominique Devriese ◽  
Frank Piessens ◽  
Exequiel Rivas
Keyword(s):  
Program Transformation

scholarly journals A Reversible Abstract Machine and Its Space Overhead

2012 ◽  
pp. 1-17 ◽  
Author(s):  
Michael Lienhardt ◽  
Ivan Lanese ◽  
Claudio Antares Mezzina ◽  
Jean-Bernard Stefani
Keyword(s):  
Abstract Machine
Load More ...
Sign in / Sign up

Export Citation Format

Share Document