EPTCS 12 - ICE 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0912-0759
- ask others
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. 2009 EPTCS 12 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5444
- ask others
Marco Carbone, Joshua D. Guttman: Choreographies with Secure Boxes and Compromised Principals. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5445
- ask others
Dave Clarke, José Proença: Coordination via Interaction Constraints I: Local Logic. ... 17-39
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5446
- ask others
Mohamad Jaber, Ananda Basu, Simon Bliudze: Symbolic Implementation of Connectors in BIP. ... 41-55
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5447
- ask others
Christian Krause: Integrated Structure and Semantics for Reo Connectors and Petri Nets. ... 57-69
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5449
- ask others
Luca Padovani: Session Types at the Mirror. ... 71-86
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0912-0555
- ask others
Pawel Sobocinski: A non-interleaving process calculus for multi-party synchronisation. ... 87-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5525
- ask others
Paolo Torrini, Reiko Heckel: Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ... 99-115