EPTCS 59 - ICE 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0144
- ask others
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (Eds.): Proceedings Fourth Interaction and Concurrency Experience. 2011 EPTCS 59 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0463
- ask others
Tom Hirschowitz, Damien Pous: Innocent strategies as presheaves and interactive equivalences for CCS. ... 2-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0464
- ask others
Vincenzo Ciancia: Interaction and observation, categorically. ... 25-36
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0465
- ask others
Andrei Dorman, Tobias Heindel: Structured Operational Semantics for Graph Rewriting. ... 37-51
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0466
- ask others
Viviana Bono, Luca Padovani: Polymorphic Endpoint Types for Copyless Message Passing. ... 52-67
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0467
- ask others
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet: On the reaction time of some synchronous systems. ... 69-83
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0468
- ask others
Sung-Shik T. Q. Jongmans, Farhad Arbab: Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. ... 84-103
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0469
- ask others
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan: Formal Analysis of Quantum Systems using Process Calculus. ... 104-110
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0470
- ask others
Laura Bocchi, Julien Lange, Emilio Tuosto: Amending Contracts for Choreographies. ... 111-129
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-0471
- ask others
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: Contracts in distributed systems. ... 130-147