Author Search Results

Select result number 1
1

The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens

by Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published 2017
Contributors: “... Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria...”

Get access
Get access
Get access

Conference Object
Select result number 2
2

An Efficient Management of Correlation Sets with Broadcast

by Mauro, Jacopo, Gabbrielli, Maurizio, Guidi, Claudio, Montesi, Fabrizio
Published 2011
Contributors: “... Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “... Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

Adaptable Processes (Extended Abstract)

by Bravetti, Mario, Di Giusto, Cinzia, Pérez, Jorge, Zavattaro, Gianluigi
Published 2011
Contributors: “... Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria...”

Get access
Get access
Get access
Get access

Conference Object

Search Results

Related Subjects