Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Barbanera, Franco
38
Ergebnisse:
Artikel (Online) X
Sortierung: Relevanz
Sortierung: Jahr
?
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
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/..
?
4
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/..
?
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
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/..
?
14
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/..
?
15
A Type Inference Algorithm for Secure Ambients:
Barbanera, Franco
;
Dezani-Ciancaglini, Mariangiola
;
Salvo, Ivano
.
Electronic Notes in Theoretical Computer Science. 62 (2002) - p. 83-101 , 2002
Link:
https://doi.org/10.1016/..
1-15