EPTCS 109 - PLACES 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-5798
- ask others
Simon Gay, Paul Kelly (Eds.): Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 2012 EPTCS 109 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6328
- ask others
Yu David Liu: Variant-Frequency Semantics for Green Futures. ... 1-6
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6329
- ask others
Peter Calvert, Alan Mycroft: Mapping the Join Calculus to Heterogeneous Hardware. ... 7-12
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6330
- ask others
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino: An event-based model for contracts. ... 13-20
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6331
- ask others
Marco Carbone, Fabrizio Montesi: Merging Multiparty Protocols in Multiparty Choreographies. ... 21-27
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6332
- ask others
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti: Typing Context-Dependent Behavioural Variation. ... 28-33
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6333
- ask others
Sung-Shik T. Q. Jongmans, Farhad Arbab: Modularizing and Specifying Protocols among Threads. ... 34-45