Search - IFIP Open Digital Library

6 results

authFullName_s : Diego Latella

	For these 6 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

		Fluid Analysis of Foraging Ants Mieke Massink , Diego Latella 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.152-165, ⟨10.1007/978-3-642-30829-1_11⟩ Conference papers hal-01529603v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Stochastic Process Algebra and Stability Analysis of Collective Systems Luca Bortolussi , Diego Latella , Mieke Massink 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.1-15, ⟨10.1007/978-3-642-38493-6_1⟩ Conference papers hal-01486031v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Specifying and Verifying Properties of Space Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩ Conference papers hal-01402045v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination Vincenzo Ciancia , Diego Latella , Mieke Massink 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩ Conference papers hal-01631720v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems Diego Latella , Michele Loreti , Mieke Massink 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩ Conference papers hal-01774942v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited Nicolas Gast , Diego Latella , Mieke Massink COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩ Conference papers hal-03273995v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More