Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540688624, 9783540688631
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

2008 ◽  
pp. 59-77 ◽  
Author(s):  
Luís Cruz-Filipe ◽  
Ivan Lanese ◽  
Francisco Martins ◽  
António Ravara ◽  
Vasco T. Vasconcelos
Keyword(s):  
Program Transformations ◽  
Work Program ◽  
Behavioural Theory

scholarly journals Termination Analysis of Java Bytecode

2008 ◽  
pp. 2-18 ◽  
Author(s):  
Elvira Albert ◽  
Puri Arenas ◽  
Michael Codish ◽  
Samir Genaim ◽  
Germán Puebla ◽  
...  
Keyword(s):  
Termination Analysis ◽  
Java Bytecode

scholarly journals Sessions and Pipelines for Structured Service Programming

2008 ◽  
pp. 19-38 ◽  
Author(s):  
Michele Boreale ◽  
Roberto Bruni ◽  
Rocco De Nicola ◽  
Michele Loreti
Load More ...
Sign in / Sign up

Export Citation Format

Share Document