default search action
Science of Computer Programming, Volume 115
Volumes 115-116, January 2016
- Natallia Kokash
, António Ravara
Foreword. 1-2 - Einar Broch Johnsen
A formal model of service-oriented dynamic object groups. 3-22 - Emanuela Merelli
Adaptability checking in complex systems. 23-46 - Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A procedure for splitting data-aware processes and its application to coordination. 47-78 - Jean-Marie Jacquet, Isabelle Linden
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks. 79-99 - Minas Charalambides
Parameterized, concurrent session types for asynchronous multi-actor interactions. 100-126 - Jasen Markovski:
A process-theoretic approach to supervisory coordination under partial observation. 127-145
- Natallia Kokash
Special section on Foundations of Coordination Languages and Software Architectures. 147-148 - Jean-Marie Jacquet, Isabelle Linden
On the introduction of density in tuple-space coordination languages. 149-176 - Antonio Brogi
Finding available services in TOSCA-compliant clouds. 177-198 - Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global consensus through local synchronization: A formal basis for partially-distributed coordination. 199-224 - Thi Thieu Hoa Le, Roberto Passerone
A tag contract framework for modeling heterogeneous systems. 225-246
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.
last updated on 2024-11-19 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: