EPTCS 91 - FOCLASA 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-4327
- ask others
Natallia Kokash, António Ravara (Eds.): Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation. 2012 EPTCS 91 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-4630
- ask others
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: A Type-Safe Model of Adaptive Object Groups. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-4632
- ask others
Minas Charalambides, Peter Dinges, Gul Agha: Parameterized Concurrent Multi-Party Session Types. ... 16-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-4634
- ask others
Gabriel Ciobanu, Ross Horne: A Provenance Tracking Model for Data Updates. ... 31-44
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1208-4635
- ask others
M. Usman Iftikhar, Danny Weyns: A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System. ... 45-62
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-1421
- ask others
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu: Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks. ... 63-78
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-1422
- ask others
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença: A Procedure for Splitting Processes and its Application to Coordination. ... 79-96
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-1434
- ask others
Jasen Markovski: Communicating Processes with Data for Supervisory Coordination. ... 97-111
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-1628
- ask others
Emanuela Merelli, Nicola Paoletti, Luca Tesei: A multi-level model for self-adaptive systems. ... 112-126