Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer US

9781475752663, 9780387355627
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Composition and Interaction for Behavioural Specifications

1999 ◽  
pp. 149-159
Author(s):  
Simone Veglioni ◽  
Francesco Parisi-Presicce

scholarly journals An Algebra of Actors

1999 ◽  
pp. 3-18 ◽  
Author(s):  
Mauro Gaspari ◽  
Gianluigi Zavattaro

scholarly journals Combining Design Methods for Service Development

1999 ◽  
pp. 281-291 ◽  
Author(s):  
Marc Born ◽  
Andreas Hoffmann ◽  
Mang Li ◽  
Ina Schieferdecker
Keyword(s):  
Design Methods ◽  
Service Development
Load More ...
Sign in / Sign up

Export Citation Format

Share Document