Journal of Logical and Algebraic Methods in Programming, Volume 116

Refine list

showing all ?? records

Volume 116, November 2020

Logics and Categories for Distribution and Concurrency – A tribute to Anna Labella in occasion of her retirement Special issue on Formal Approaches to Parallel and Distributed Systems Regular article
a service of  Schloss Dagstuhl - Leibniz Center for Informatics