Author:
Castellani Ilaria,D'Argenio Pedro R.,Mousavi Mohammad Reza,Sokolova Ana
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference9 articles.
1. Ensuring liveness properties of distributed systems: Open problems;van Glabbeek;J. Log. Algebraic Methods Program.,2019
2. Nested-unit Petri nets;Garavel;J. Log. Algebraic Methods Program.,2019
3. Declarative debugging of concurrent Erlang programs;Caballero;J. Log. Algebraic Methods Program.,2018
4. Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours;Fischer;J. Log. Algebraic Methods Program.,2019
5. Precise subtyping for synchronous multiparty sessions;Ghilezan;J. Log. Algebraic Methods Program.,2019