Journal of Logical and Algebraic Methods in Programming, Volume 120

Refine list

showing all ?? records

Volume 120, April 2021

Special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) 2019 Special issue on Working Formal Methods (extended selected papers from FROM 2019) Special issue on Logics and Categories for Distribution and Concurrency – A tribute to Anna Labella in occasion of her retirement Special issue on Interaction and Concurrency Experience 2019 Special issue on Dynamic Logic: New Trends and Applications Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation) Special issue on Working Formal Methods (extended selected papers from FROM 2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics