EPTCS 62 - SOS 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-2796
- ask others
Michel A. Reniers, Pawel Sobocinski (Eds.): Proceedings Eight Workshop on Structural Operational Semantics 2011. 2011 EPTCS 62 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-3124
- ask others
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: Axiomatizing GSOS with Predicates. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-3125
- ask others
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen: Formal Component-Based Semantics. ... 17-29
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-3126
- ask others
Asiri Rathnayake, Hayo Thielecke: Regular Expression Matching and Operational Semantics. ... 31-45
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-3127
- ask others
David Romero-Hernández, David de Frutos-Escrig: On the Unification of Process Semantics: Logical Semantics. ... 47-61