EasyChair Smart SlideDocs/Log in
Conference: CONCUR20 (CONCUR 2020: 31st International Conference on Concurrency Theory)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Emanuele D'Osualdo and Felix Stutz

Session Types with Arithmetic Refinements

Session Types with Arithmetic Refinements

Ankush Das and Frank Pfenning

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains

David N. Jansen, Jan Friso Groote, Ferry Timmers and Pengfei Yang

Canonical Expressions of Finite-State Behaviours and Completeness of Equational Axiomatisations

Canonical Expressions of Finite-State Behaviours and Completeness of Equational Axiomatisations

Xinxin Liu and Tingting Yu

A Classification of Weak Asynchronous Models of Distributed Computing

A Classification of Weak Asynchronous Models of Distributed Computing

Javier Esparza and Fabian Reiter

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair