Author Search Results

Select result number 1
1

Fault in the Future

by Broch Johnsen, Einar, Lanese, Ivan, Zavattaro, Gianluigi
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Fault in the Future

by Broch Johnsen, Einar, Lanese, Ivan, Zavattaro, Gianluigi
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

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

by Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published 2017
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access

Conference Object
Select result number 4
4

An Efficient Management of Correlation Sets with Broadcast

by Mauro, Jacopo, Gabbrielli, Maurizio, Guidi, Claudio, Montesi, Fabrizio
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 5
5

An Efficient Management of Correlation Sets with Broadcast

by Mauro, Jacopo, Gabbrielli, Maurizio, Guidi, Claudio, Montesi, Fabrizio
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

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: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

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: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

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: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

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

by Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published 2017
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access

Conference Object
Select result number 10
10

An Efficient Management of Correlation Sets with Broadcast

by Mauro, Jacopo, Gabbrielli, Maurizio, Guidi, Claudio, Montesi, Fabrizio
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 11
11

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: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 12
12

Adaptable Processes (Extended Abstract)

by Bravetti, Mario, Di Giusto, Cinzia, Pérez, Jorge, A., Zavattaro, Gianluigi
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 13
13

Adaptable Processes (Extended Abstract)

by Bravetti, Mario, Di Giusto, Cinzia, Pérez, Jorge, Zavattaro, Gianluigi
Published 2011
Contributors: “...Foundations of Component-based Ubiquitous Systems (FOCUS)...”

Get access
Get access
Get access
Get access

Conference Object