Logical Methods in Computer Science, Special Issue 9

> Home > Journals > Logical Methods in Computer Science

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

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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.