Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

16 results
Page :
sorted by

Coordination Models and Languages

 Giovanna Di Marzo Serugendo , Michele Loreti
Springer International Publishing, LNCS-10852, 2018, Lecture Notes in Computer Science, 978-3-319-92407-6. ⟨10.1007/978-3-319-92408-3⟩
Books hal-01821496v1
Image document

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

 Davide Basile , Maurice H. ter Beek , Rosario Pugliese
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
Conference papers hal-02365502v1
Image document

Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries

 Michele Boreale , Francesca Pampaloni
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.166-181, ⟨10.1007/978-3-662-43613-4_11⟩
Conference papers hal-01398015v1
Image document

A Model-Checking Tool for Families of Services

 Patrizia Asirelli , Maurice H. ter Beek , Alessandro Fantechi , Stefania Gnesi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.44-58, ⟨10.1007/978-3-642-21461-5_3⟩
Conference papers hal-01583318v1
Image document

Linear-Time and May-Testing in a Probabilistic Reactive Setting

 Lucia Acciai , Michele Boreale , Rocco De Nicola
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Conference papers hal-01583326v1
Image document

Simulation and Analysis of Distributed Systems in Klaim

 Francesco Calzolai , Michele Loreti
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.122-136, ⟨10.1007/978-3-642-13414-2_9⟩
Conference papers hal-01054619v1
Image document

Enumerative Results on the Schröder Pattern Poset

 Lapo Cioni , Luca Ferrari
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.56-67, ⟨10.1007/978-3-319-58631-1_5⟩
Conference papers hal-01656348v1

Formal Techniques for Distributed Systems

 Dirk Beyer , Michele Boreale
Springer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books hal-01515249v1

Coordination Models and Languages

 Eva Kühn , Rosario Pugliese
Springer, LNCS-8459, 2014, Lecture Notes in Computer Science, 978-3-662-43375-1. ⟨10.1007/978-3-662-43376-8⟩
Books hal-01290085v1
Image document

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
Image document

Application-Level Traceroute: Adopting Mimetic Mechanisms to Increase Discovery Capabilities

 Chiara Caiazza , Enrico Gregori , Valerio Luconi , Francesco Mione , Alessio Vecchio
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_6⟩
Conference papers hal-02881737v1
Image document

Behavioural Contracts with Request-Response Operations

 Lucia Acciai , Michele Boreale , Gianluigi Zavattaro
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers hal-01054626v1
Image document

Restricted Binary Strings and Generalized Fibonacci Numbers

 Antonio Bernini
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.32-43, ⟨10.1007/978-3-319-58631-1_3⟩
Conference papers hal-01656354v1
Image document

Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

 Michele Boreale , Michela Paolini
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers hal-01556211v1
Image document

On the Power of Attribute-Based Communication

 Yehia Abd Alrahman , Rocco de Nicola , Michele Loreti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers hal-01432924v1
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1
Page :