Search - IFIP Open Digital Library

3 results

Sub-domain level 1 : info.info-ni

labStructName_s : Dipartimento di Informatica [Torino]

	For these 3 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		The share Operator for Field-Based Coordination Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini , Mirko Viroli 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.54-71, ⟨10.1007/978-3-030-22397-7_4⟩ Conference papers hal-02365499v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Deconfined Global Types for Asynchronous Sessions Francesco Dagnino , Paola Giannini , Mariangiola Dezani-Ciancaglini 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩ Conference papers hal-03387838v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Polymorphic Types for Leak Detection in a Session-Oriented Functional Language Viviana Bono , Luca Padovani , Andrea Tosatto 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.83-98, ⟨10.1007/978-3-642-38592-6_7⟩ Conference papers hal-01515251v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More