Logical Methods in Computer Science, Special Issue 9

Selected Papers of the Conference "Foundations of Software Science and Computation Structures 2007" [FOSSACS 07]

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/BreugelSW08
- ask others
Franck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/HirschkoffP08
- ask others
Daniel Hirschkoff, Damien Pous: A Distribution Law for CCS and a New Congruence Result for the p-calculus. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/MuschollW08
- ask others
Anca Muscholl, Igor Walukiewicz: A Lower Bound on Web Services Composition. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/BirkedalY08
- ask others
Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/LaroussinieMO08
- ask others
François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/Comon-LundhJP08
- ask others
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin: Visibly Tree Automata with Memory and Constraints. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/BouyerLM08
- ask others
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/FerranteMP08
- ask others
Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculi Module Checking. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/YoshidaHB08
- ask others
Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. ...
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/HagueO08
- ask others
Matthew Hague, C.-H. Luke Ong: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. ...
- view
  - table of contents in DBLP
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0809-3960
- ask others
Jesper Bengtson, Joachim Parrow: Formalising the pi-calculus using nominal logic. ...