some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

RECENTLY PUBLISHED

Permission-Based Separation Logic for Multithreaded Java Programs

  
Christian Haack, Marieke Huisman, Clément Hurlin and Afshin Amighi

A Hoare logic for the coinductive trace-based big-step semantics of While

  
Keiko Nakata and Tarmo Uustalu

Stochastic Parity Games on Lossy Channel Systems

  
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr and Sven Sandberg

Globally Governed Session Semantics

  
Dimitrios Kouzapas and Nobuko Yoshida

A Robust Class of Data Languages and an Application to Learning

  
Benedikt Bollig, Peter Habermehl, Martin Leucker and Benjamin Monmege

Global semantic typing for inductive and coinductive computing

  
Daniel M. Leivant




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.