Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319289335, 9783319289342
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Contract-Oriented Middleware

2016 ◽  
pp. 86-104 ◽  
Author(s):  
Massimo Bartoletti ◽  
Tiziana Cimoli ◽  
Maurizio Murgia ◽  
Alessandro Sebastian Podda ◽  
Livio Pompianu

scholarly journals Configuration Logics: Modelling Architecture Styles

2016 ◽  
pp. 256-274 ◽  
Author(s):  
Anastasia Mavridou ◽  
Eduard Baranov ◽  
Simon Bliudze ◽  
Joseph Sifakis

scholarly journals A Robust Framework for Securing Composed Web Services

2016 ◽  
pp. 105-122 ◽  
Author(s):  
Najah Ben Said ◽  
Takoua Abdellatif ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Web Services ◽  
Robust Framework

scholarly journals Time Complexity of Concurrent Programs

2016 ◽  
pp. 199-216 ◽  
Author(s):  
Elena Giachino ◽  
Einar Broch Johnsen ◽  
Cosimo Laneve ◽  
Ka I. Pun
Keyword(s):  
Time Complexity ◽  
Concurrent Programs

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes

2016 ◽  
pp. 181-198 ◽  
Author(s):  
Giuseppe De Ruvo ◽  
Giuseppe Lettieri ◽  
Domenico Martino ◽  
Antonella Santone ◽  
Gigliola Vaglini
Load More ...
Sign in / Sign up

Export Citation Format

Share Document