default search action
10th FOCLASA 2011: Aachen, Germany
- Mohammad Reza Mousavi, António Ravara:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.