some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

On Reachability for Unidirectional Channel Systems Extended with Regular Tests

  
Jancar Petr, Prateek Karandikar and Philippe Schnoebelen

Mutually Testing Processes

  
Giovanni Bernardi and Matthew Hennessy

Aspect-oriented linearizability proofs

  
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin and Viktor Vafeiadis

Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

  
Jakub Gajarsky and Petr Hlineny

Modelling MAC-Layer Communications in Wireless Systems

  
Andrea Cerone, Matthew Hennessy and Massimo Merro

Domain Representations Induced by Dyadic Subbases

  
Hideki Tsuiki and Yasuyuki Tsukamoyo




Logical Methods in Computer Science is an open-access journal, covered by Thompson ISI , SCOPUS, DBLP, Mathematical Reviews and Zentralblatt. Impact factor: 0.443. All journal content is licensed under a Creative Commons license.