Paper Info
Title
Coordination-Based Design of Distributed Systems
Abstract
We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.
Year
DOI
Venue
2000
10.1007/3-540-45263-X_27
Coordination Models and Languages
Keywords
Field
DocType
graphical notation,coordination-based design,component-based formal approach,guarded composition,distributed system
Notation,Object-oriented programming,Computer science,Control flow,Distributed design patterns,Theoretical computer science,Formal methods,Software architecture,Distributed computing
Conference
Volume
ISSN
ISBN
1906
0302-9743
3-540-41020-1
Citations 
PageRank 
References 
0
0.34
6
Authors
2
Name
Order
Citations
PageRank
Joost N. Kok11429121.49
Kaisa Sere259856.70