E-LIB Suche - Ergebnisse für: Barbanera, Franco

1

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100890 , 2023

Link: https://doi.org/10.1016/..

2

Composition and decomposition of multiparty sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100620 , 2021

Link: https://doi.org/10.1016/..

3

Connecting open systems of communicating finite state machi..:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019

Link: https://doi.org/10.1016/..

4

Session types and subtyping for orchestrated interactions:

Barbanera, Franco ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 102 (2019) - p. 103-137 , 2019

Link: https://doi.org/10.1016/..

5

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; de'Liguoro, Ugo
Science of Computer Programming. 167 (2018) - p. 25-50 , 2018

Link: https://doi.org/10.1016/..

6

Orchestrated session compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017

Link: https://doi.org/10.1016/..

7

Reversible client/server interactions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo
Formal Aspects of Computing. 28 (2016) 4 - p. 697-722 , 2016

Link: https://doi.org/10.1007/..

8

Sub-behaviour relations for session-based client/server sys..:

BARBANERA, FRANCO ; DE'LIGUORO, UGO
Mathematical Structures in Computer Science. 25 (2014) 6 - p. 1339-1381 , 2014

Link: https://doi.org/10.1017/..

9

Space-aware ambients and processes:

Barbanera, Franco ; Bugliesi, Michele ; Dezani-Ciancaglini, Mariangiola.
Theoretical Computer Science. 373 (2007) 1-2 - p. 41-69 , 2007

Link: https://doi.org/10.1016/..

10

Intersection types and lambda models:

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
Theoretical Computer Science. 355 (2006) 2 - p. 108-126 , 2006

Link: https://doi.org/10.1016/..

11

Type Assignement for Mobile Objects:

Barbanera, Franco ; de'Liguoro, Ugo
Electronic Notes in Theoretical Computer Science. 104 (2004) - p. 25-38 , 2004

Link: https://doi.org/10.1016/..

12

Can Addresses be Types?:

Anderson, Christopher ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola.
Electronic Notes in Theoretical Computer Science. 82 (2003) 8 - p. 108-129 , 2003

Link: https://doi.org/10.1016/..

13

A full continuous model of polymorphism:

Barbanera, Franco ; Berardi, Stefano
Theoretical Computer Science. 290 (2003) 1 - p. 407-428 , 2003

Link: https://doi.org/10.1016/..

14

Intersection Types and Computational Rules:

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
Electronic Notes in Theoretical Computer Science. 84 (2003) - p. 45-59 , 2003

Link: https://doi.org/10.1016/..

15

Intersection types for λ-trees:

van Bakel, Steffen ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola.
Theoretical Computer Science. 272 (2002) 1-2 - p. 3-40 , 2002

Link: https://doi.org/10.1016/..