On the Origins of Bisimulation and Coinduction von SANGIORGI, Davide

Volltext

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings von Sangiorgi, Davide, Simone, Robert de

Volltext

Session types revisited von Dardha, Ornela, Giachino, Elena, Sangiorgi, Davide

Volltext

Trees from Functions as Processes von Davide Sangiorgi, Xian Xu

Volltext

Davide Sangiorgi. Introduction to bisimulation and coinduction. Cambridge University Press, 2012, 247 pp. - Advanced topics in bisimulation and coinduction, edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, vol. 52. Cambridge University Press, 2012, 326 pp von Gutierrez, Julian

Volltext

A Hybrid Type System for Lock-Freedom of Mobile Processes von KOBAYASHI, Naoki, SANGIORGI, Davide

Volltext

Environmental Bisimulations for Higher-Order Languages von SANGIORGI, Davide, KOBAYASHI, Naoki, SUMII, Eijiro

Volltext

Modular coinduction up-to for higher-order languages via first-order transition systems von Madiot, Jean-Marie, Pous, Damien, Sangiorgi, Davide

Volltext

Unique Solutions of Contractions, CCS, and their HOL Formalisation von Tian, Chun, Sangiorgi, Davide

Volltext

Divergence and unique solution of equations von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

Volltext

On asynchrony in name-passing calculi von MERRO, MASSIMO, SANGIORGI, DAVIDE

Volltext

Eager functions as processes von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

Volltext

Termination of processes von SANGIORGI, DAVIDE

Volltext

Bisimulation and Coinduction Enhancements: A Historical Perspective von Pous, Damien, Sangiorgi, Davide

Volltext

From enhanced coinduction towards enhanced induction von Sangiorgi, Davide

Volltext

Unique solutions of contractions, CCS, and their HOL formalisation von Tian, Chun, Sangiorgi, Davide

Volltext

Environmental Bisimulations for Probabilistic Higher-order Languages von Sangiorgi, Davide, Vignudelli, Valeria

Volltext

Towards ‘up to context’ reasoning about higher-order processes von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

Volltext

Equations, Contractions, and Unique Solutions von Sangiorgi, Davide

Volltext

Mobile safe ambients von Levi, Francesca, Sangiorgi, Davide

Volltext