default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 110

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 110, October 2015

Special Section on Formal Coordination

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Fernandez-Marquez15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Fernandez-Marquez15
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Gabriella Castelli:
Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012-2013. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ViroliPMSZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ViroliPMSZ15
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli:
A coordination model of pervasive service ecosystems. 3-22
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LatellaLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LatellaLM15
Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. 23-50

Regular Papers

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MurtaO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MurtaO15
Daniel Murta, José Nuno Oliveira:
A study of risk-aware program transformation. 51-77
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/OliveiraB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OliveiraB15
Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. 78-103
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CaballeroMRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaballeroMRT15
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A zoom-declarative debugger for sequential Erlang programs. 104-118

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.