some image logo

HOME

SEARCH

REGULAR ISSUES

SPECIAL ISSUES

CURRENT ISSUE

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Model Checking One-clock Priced Timed Automata

  
Patricia Bouyer, Kim Gulstrand Larsen and Nicolas Markey

Visibly Tree Automata with Memory and Constraints

  
Hubert Comon-Lundh, Florent Jacquemard and Nicolas Perrin

On the Expressiveness and Complexity of ATL

  
François Laroussinie, Nicolas Markey and Ghassan Oreiby

Relational Parametricity and Separation Logic

  
Lars Birkedal and Hongseok Yang

A lower bound on web services composition

  
Anca Muscholl and Igor Walukiewicz

A Distribution Law for CCS and a New Congruence Result for the π-calculus

  
Daniel Hirschkoff and Damien Pous




Logical Methods in Computer Science is an open-access journal. All journal content is licensed under a Creative Commons license.