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
92
Ergebnisse:
OpenAccess-Volltexte X
Sortierung: Relevanz
Sortierung: Jahr
?
1
A Theory of Formal Choreographic Languages:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023
Link:
https://inria.hal.scienc..
?
2
A Theory of Formal Choreographic Languages:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023
Link:
https://inria.hal.scienc..
?
3
Composition of synchronous communicating systems:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023
Link:
https://inria.hal.scienc..
?
4
Composition of synchronous communicating systems:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023
Link:
https://inria.hal.scienc..
?
5
Partially Typed Multiparty Sessions:
Barbanera, Franco
;
Dezani-Ciancaglini, Mariangiola
http://arxiv.org/abs/2308.10653. , 2023
Link:
http://arxiv.org/abs/230..
?
6
On Composing Communicating Systems:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
http://arxiv.org/abs/2208.04634. , 2022
Link:
http://arxiv.org/abs/220..
?
7
Formal Choreographic Languages:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_8. , 2022
Link:
https://inria.hal.scienc..
?
8
On Formal Choreographic Modelling: A Case Study in EU Busin..:
Coto, Alex
;
Barbanera, Franco
;
Lanese, Ivan
..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13. , 2022
Link:
https://inria.hal.scienc..
?
9
On Composing Communicating Systems:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.365.4. , 2022
Link:
https://inria.hal.scienc..
?
10
On Formal Choreographic Modelling: A Case Study in EU Busin..:
Coto, Alex
;
Barbanera, Franco
;
Lanese, Ivan
..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13. , 2022
Link:
https://inria.hal.scienc..
?
11
A Theory of Formal Choreographic Languages:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
http://arxiv.org/abs/2210.08223. , 2022
Link:
http://arxiv.org/abs/221..
?
12
Formal Choreographic Languages:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_8. , 2022
Link:
https://inria.hal.scienc..
?
13
On Composing Communicating Systems:
Barbanera, Franco
;
Lanese, Ivan
;
Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.365.4. , 2022
Link:
https://inria.hal.scienc..
?
14
Composition and Decomposition of Multiparty Sessions:
Barbanera, Franco
;
Dezani-Ciancaglini, Mariangiola
;
Lanese, Ivan
.
hal-03338671. , 2021
Link:
https://hal.inria.fr/hal..
?
15
Corinne, a Tool for Choreography Automata:
Orlando, Simone
;
Pasquale, Vairo Di
;
Barbanera, Franco
..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-90636-8_5. , 2021
Link:
https://inria.hal.scienc..
1-15