Mohammad Reza Mousavi, António Ravara (Eds.):
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures.
EPTCS 58 2011
- Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani:
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca.
1-19

- Ross Horne, Vladimiro Sassone:
A Verified Algebra for Linked Data.
20-33

- Simon Ware, Robi Malik:
A State-Based Characterisation of the Conflict Preorder.
34-48

- Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari:
Predicting global usages of resources endowed with local policies.
49-64

- José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata.
65-79

Last update Wed May 22 19:24:09 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page