EPTCS 32 - SOS 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-1906
- ask others
Luca Aceto, Pawel Sobocinski (Eds.): Proceedings Seventh Workshop on Structural Operational Semantics. 2010 EPTCS 32 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-2108
- ask others
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics. ... 1-14
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-2109
- ask others
Maciej Gazda, Wan Fokkink: Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics. ... 15-25
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-2111
- ask others
Tobias Heindel: Structural Decomposition of Reactions of Graph-Like Objects. ... 26-41
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-2110
- ask others
Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers: Hierarchical states in the Compositional Interchange Format. ... 42-56
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-2112
- ask others
Keiko Nakata, Tarmo Uustalu: Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction. ... 57-75