EPTCS 38 - ICE 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5308
- ask others
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (Eds.): Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction. 2010 EPTCS 38 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5565
- ask others
Christian Lambertz, Mila E. Majster-Cederbaum: Port Protocols for Deadlock-Freedom of Component Systems. ... 7-11
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5566
- ask others
Marco Carbone, Søren Debois: A Graphical Approach to Progress for Structured Communication in Web Services. ... 13-27
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5567
- ask others
Alejandro Mario Hernandez, Flemming Nielson: History-sensitive versus future-sensitive approaches to security in distributed systems. ... 29-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5568
- ask others
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari: Safer in the Clouds (Extended Abstract). ... 45-49
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5569
- ask others
Ivan Lanese: Static vs Dynamic SAGAs. ... 51-65
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5570
- ask others
Massimo Bartoletti, Roberto Zunino: Primitives for Contract-based Synchronization. ... 67-82
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5571
- ask others
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet: An Introduction to Time-Constrained Automata. ... 83-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5572
- ask others
Harsh Beohar, Pieter J. L. Cuijpers: A theory of desynchronisable closed loop system. ... 99-114
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1010-5573
- ask others
Renaud Sirdey, Pascal Aubry: A linear programming approach to general dataflow process network verification and dimensioning. ... 115-119