Journal of Logical and Algebraic Methods in Programming, Volume 109

Refine list

showing all ?? records

Volume 109, December 2019

Regular papers Special Issue on Formal Approaches to Parallel and Distributed Systems Special Issue on 20 Years of Coordination Models and Languages Special Issue on DaLí-Dynamic Logics, new trends and applications ? Selected contributions Special Issue on selected papers of the 11th Interaction and Concurrency Experience ICE 2018 Special Issue on Graph Transformations (extended selected papers from ICGT 2018) Special Issue on Open Problems in Concurrency Theory Special Issue on Interaction and Concurrency Experience Special Issue on Computational modelling and data-driven techniques for systems analysis
a service of  Schloss Dagstuhl - Leibniz Center for Informatics