المؤلفون: Dezani, Mariangiola, Kuhn, Roland, Lindley, Sam, Scalas, Alceste

المساهمون: Mariangiola Dezani and Roland Kuhn and Sam Lindley and Alceste Scalas

مصطلحات موضوعية: behavioural types, concurrency, programming languages, session types

وصف الملف: application/pdf

Relation: Is Part Of Dagstuhl Reports, Volume 11, Issue 8 (2022); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.8.52

الاتاحة: https://doi.org/10.4230/DagRep.11.8.52
https://nbn-resolving.org/urn:nbn:de:0030-drops-157699
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.8.52

المؤلفون: Castellani, Ilaria, DEZANI, Mariangiola, DE' LIGUORO, Ugo

المساهمون: Castellani, Ilaria, Dezani, Mariangiola, De'Liguoro, Ugo

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000390317600002; ispartofbook:Proceedings PLACES 2016; PLACES 2016; volume:211; firstpage:1; lastpage:12; numberofpages:12; http://hdl.handle.net/2318/1597458; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84991594426; http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2016.1

الاتاحة: http://hdl.handle.net/2318/1597458
https://doi.org/10.4204/EPTCS.211.1
http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2016.1

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, MARGARIA, Ines Maria, ZACCHI, Maddalena

المساهمون: Coppo, Mario, Dezani, Mariangiola, Margaria, Ine, Zacchi, Maddalena

مصطلحات موضوعية: sistemi concorrenti, tipi sessione, inferenza automatica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000375847000010; Italian Conference on Theoretical Computer Science (ICTCS); volume:322; firstpage:135; lastpage:151; numberofpages:17; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/2318/1577947; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84963777187; http://www.di.unito.it/~dezani/papers/cdmz15b.pdf

الاتاحة: http://hdl.handle.net/2318/1577947
https://doi.org/10.1016/j.entcs.2016.03.010
http://www.di.unito.it/~dezani/papers/cdmz15b.pdf

المؤلفون: DEZANI, Mariangiola, PADOVANI, Luca, J. Pantovic

المساهمون: Dezani, Mariangiola, Padovani, Luca, Pantovic, J.

وصف الملف: ELETTRONICO

Relation: PLACES'14; firstpage:61; lastpage:71; numberofpages:11; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/2318/149884; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84938689674; http://www.di.unito.it/~padovani/Papers/DezaniPadovaniPantovic13.pdf

الاتاحة: http://hdl.handle.net/2318/149884
http://www.di.unito.it/~padovani/Papers/DezaniPadovaniPantovic13.pdf

المؤلفون: Paula Severi, Emilio Tuosto, PADOVANI, Luca, DEZANI, Mariangiola

المساهمون: Alberto Lluch Lafuente, José Proença, Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783319395180; info:eu-repo/semantics/altIdentifier/wos/WOS:000388794200015; ispartofbook:Coordination Models and Languages; 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016; volume:9686; firstpage:245; lastpage:261; numberofpages:17; alleditors:Alberto Lluch Lafuente; José Proença; http://hdl.handle.net/2318/1610229; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84977566813

الاتاحة: http://hdl.handle.net/2318/1610229
https://doi.org/10.1007/978-3-319-39519-7_15

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, PADOVANI, Luca, Nobuko Yoshida

المساهمون: Coppo, Mario, Dezani, Mariangiola, Padovani, Luca, Nobuko, Yoshida

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642384929; info:eu-repo/semantics/altIdentifier/isbn/9783642384936; info:eu-repo/semantics/altIdentifier/wos/WOS:000412579600004; ispartofbook:Proceedings of the 15th International Conference on Coordination Models and Languages; 15th International Conference on Coordination Models and Languages; volume:7890; firstpage:45; lastpage:59; numberofpages:15; serie:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/2318/137480; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84885015667

الاتاحة: http://hdl.handle.net/2318/137480
https://doi.org/10.1007/978-3-642-38493-6_4

المؤلفون: GIUSEPPE CASTAGNA, DEZANI, Mariangiola, PADOVANI, Luca

المساهمون: Roberto Bruni, Juergen Dingel, Giuseppe, Castagna, Dezani, Mariangiola, Padovani, Luca

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642214608; info:eu-repo/semantics/altIdentifier/isbn/9783642214615; info:eu-repo/semantics/altIdentifier/wos/WOS:000392114500001; ispartofbook:Formal Techniques for Distributed Systems; 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems; volume:LNCS 6722; firstpage:1; lastpage:28; numberofpages:28; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Roberto Bruni, Juergen Dingel; http://hdl.handle.net/2318/85966; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79960865368

الاتاحة: http://hdl.handle.net/2318/85966
https://doi.org/10.1007/978-3-642-21461-5_1

المؤلفون: Massimo Bartoletti, Castellani Ilaria, Pierre Malo Denielou, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres, DEZANI, Mariangiola

المساهمون: Massimo Bartoletti, Castellani Ilaria, Pierre-Malo Denielou, Dezani Mariangiola, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Vieira Hugo Torres

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000365453100004; volume:84; firstpage:763; lastpage:780; numberofpages:18; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/2318/1569401; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84997755144; http://dx.doi.org/10.1016/j.jlamp.2015.09.003

الاتاحة: http://hdl.handle.net/2318/1569401
https://doi.org/10.1016/j.jlamp.2015.09.003

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, MARGARIA, Ines Maria, ZACCHI, Maddalena

المساهمون: Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ine, Zacchi, Maddalena

مصطلحات موضوعية: Lambda-calculus, Intersection and union types, Isomorphism

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000400349100004; volume:27; issue:5; firstpage:603; lastpage:625; numberofpages:23; journal:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; http://hdl.handle.net/2318/1577838; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84938635098; http://journals.cambridge.org/article_S0960129515000304

الاتاحة: http://hdl.handle.net/2318/1577838
https://doi.org/10.1017/S0960129515000304
http://journals.cambridge.org/article_S0960129515000304

المؤلفون: Paula, Severi, PADOVANI, Luca, Emilio, Tuosto, DEZANI, Mariangiola

المساهمون: Paula, Severi, Padovani, Luca, Emilio, Tuosto, Mariangiola, Dezani

مصطلحات موضوعية: Session types, the π-calculus, Infinite data, Type safety

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000419160800005; volume:13; issue:2:9; firstpage:1; lastpage:45; numberofpages:45; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/2318/1643341; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85041843795; https://lmcs.episciences.org/3725/pdf

الاتاحة: http://hdl.handle.net/2318/1643341
https://doi.org/10.23638/LMCS-13(2:9)2017
https://lmcs.episciences.org/3725/pdf

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, MARGARIA, Ines Maria, ZACCHI, Maddalena

المساهمون: Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ine, Zacchi, Maddalena

مصطلحات موضوعية: Type isomorphism, Intersection and Union types

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000420045700006; 7-th workshop on intersection types and related systems; volume:EPTCS177; firstpage:53; lastpage:64; numberofpages:12; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/2318/1522433

الاتاحة: http://hdl.handle.net/2318/1522433
https://doi.org/10.4204/EPTCS.177.5

المؤلفون: Mariangiola Dezani and Roland Kuhn and Sam Lindley and Alceste Scalas, Dezani, Mariangiola, Kuhn, Roland, Lindley, Sam, Scalas, Alceste

مصطلحات الفهرس: behavioural types, concurrency, programming languages, session types, Data processing Computer science, InProceedings, publishedVersion

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, Nobuko Yoshida, PADOVANI, Luca

المساهمون: Mario Coppo, Mariangiola Dezani, Nobuko Yoshida, Luca Padovani

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000368071200004; volume:26; issue:02; firstpage:238; lastpage:302; numberofpages:65; journal:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; http://hdl.handle.net/2318/154508; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84953882386; http://www.di.unito.it/~padovani/Papers/CoppoDezaniYoshidaPadovani13.pdf

الاتاحة: http://hdl.handle.net/2318/154508
https://doi.org/10.1017/S0960129514000188
http://www.di.unito.it/~padovani/Papers/CoppoDezaniYoshidaPadovani13.pdf

المؤلفون: CAPECCHI, SARA, DEZANI, Mariangiola, Castellani, Ilaria

المساهمون: Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

مصطلحات موضوعية: concurrency, session calculi, secure information flow, monitored semantics, safety, session types

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000387862600002; volume:26; issue:8; firstpage:1352; lastpage:1394; numberofpages:43; journal:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; info:eu-repo/grantAgreement/EC/FP7/257414; http://hdl.handle.net/2318/1644788; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84994204417; http://journals.cambridge.org/action/displayJournal?jid=MSC

الاتاحة: http://hdl.handle.net/2318/1644788
https://doi.org/10.1017/S0960129514000619
http://journals.cambridge.org/action/displayJournal?jid=MSC

المؤلفون: Barbanera, Franco, DEZANI, Mariangiola, DE' LIGUORO, Ugo

المساهمون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, De’Liguoro, Ugo

مصطلحات موضوعية: Behavioural semantic, Client/server interaction, Coinduction, Semantics of subtyping, Session type, Sub-behaviour, Software, Theoretical Computer Science

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000380112600008; volume:28; issue:4; firstpage:697; lastpage:722; numberofpages:26; journal:FORMAL ASPECTS OF COMPUTING; http://hdl.handle.net/2318/1597454; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959101909

الاتاحة: http://hdl.handle.net/2318/1597454
https://doi.org/10.1007/s00165-016-0358-2

المؤلفون: I. Castellani, J. A. Perez, DEZANI, Mariangiola

المساهمون: I. Castellani, M. Dezani, J. A. Perez

وصف الملف: ELETTRONICO

Relation: BEAT'14; volume:162; firstpage:9; lastpage:18; numberofpages:10; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/2318/149875; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84938583090; http://www.di.unito.it/~dezani/papers/cdp14.pdf

الاتاحة: http://hdl.handle.net/2318/149875
http://www.di.unito.it/~dezani/papers/cdp14.pdf

المؤلفون: DEZANI, Mariangiola, S. Ghilezan

المساهمون: M. Dezani, S. Ghilezan

وصف الملف: STAMPA

Relation: ispartofbook:RTATLCA'14; RTA/TLCA'14; volume:8560; firstpage:194; lastpage:207; numberofpages:14; serie:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/2318/149874; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84958520713; http://www.di.unito.it/~dezani/papers/dg14.pdf

الاتاحة: http://hdl.handle.net/2318/149874
http://www.di.unito.it/~dezani/papers/dg14.pdf

المؤلفون: T. Chen, N. Yoshida, DEZANI, Mariangiola

المساهمون: T. Chen, M. Dezani, N. Yoshida

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000452532900014; ispartofbook:PPDP'14; PPDP'14; firstpage:135; lastpage:146; numberofpages:12; http://hdl.handle.net/2318/149876; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84968902344; http://www.di.unito.it/~dezani/papers/cdy14.pdf

الاتاحة: http://hdl.handle.net/2318/149876
http://www.di.unito.it/~dezani/papers/cdy14.pdf

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, B. Venneri

المساهمون: Marco Aldinucci, M. Coppo, M. Dezani-Ciancaglini, B. Venneri

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000353964700093; ispartofbook:PDP'14; PDP 2014; firstpage:688; lastpage:696; numberofpages:9; alleditors:Marco Aldinucci; http://hdl.handle.net/2318/143611; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84899436049; http://www.di.unito.it/~dezani/papers/cdv14.pdf

الاتاحة: http://hdl.handle.net/2318/143611
http://www.di.unito.it/~dezani/papers/cdv14.pdf

المؤلفون: COPPO, Mario, DEZANI, Mariangiola, MARGARIA, Ines Maria, ZACCHI, Maddalena

المساهمون: Ralph Matthes, Aleksy Schubert, M. Coppo, M. Dezani, I. Margaria, M. Zacchi

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783939897729; ispartofbook:19th International Conference on Types for Proofs and Programs (TYPES 2013); TYPES 213; volume:26; firstpage:129; lastpage:149; numberofpages:21; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; alleditors:Ralph Matthes, Aleksy Schubert; http://hdl.handle.net/2318/148635; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84907790362; http://drops.dagstuhl.de/opus/volltexte/2014/4629

الاتاحة: http://hdl.handle.net/2318/148635
https://doi.org/10.4230/LIPIcs.TYPES.2013.129
http://drops.dagstuhl.de/opus/volltexte/2014/4629