default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 115
Volumes 115-116, January 2016
- Natallia Kokash
, António Ravara:
Foreword. 1-2 - Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk:
A formal model of service-oriented dynamic object groups. 3-22 - Emanuela Merelli, Nicola Paoletti, Luca Tesei:
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, Mihail-Octavian Staicu:
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks. 79-99 - Minas Charalambides, Peter Dinges, Gul A. Agha:
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, Javier Cámara:
Special section on Foundations of Coordination Languages and Software Architectures. 147-148 - Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes:
On the introduction of density in tuple-space coordination languages. 149-176 - Antonio Brogi, Jacopo Soldani:
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, Ulrich Fahrenberg, Axel Legay:
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 2025-12-04 01:27 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:
