Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
authFullName_s : Fabio Gadducci
Page :
sorted by
Image document

A Modular LTS for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale , Ugo Montanari
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.134-148, ⟨10.1007/978-3-642-33475-7_10⟩
Conference papers hal-01556218v1
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

Using Old Computers for Teaching Computer Science

 Giovanni A. Cignoni , Fabio Gadducci
International Conference on History of Computing (HC), Jun 2013, London, United Kingdom. pp.121-131, ⟨10.1007/978-3-642-41650-7_11⟩
Conference papers hal-01455245v1
Image document

Towards a Spatial Model Checker on GPU

 Laura Bussi , Vincenzo Ciancia , Fabio Gadducci
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers hal-03740266v1
Image document

A Denotational View of Replicated Data Types

 Fabio Gadducci , Hernán Melgratti , Christian Roldán
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers hal-01657339v1
Image document

Barbed Semantics for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers hal-01485968v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1

History and Philosophy of Computing

 Fabio Gadducci , Mirko Tavosanis
AICT-487, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-47285-0. ⟨10.1007/978-3-319-47286-7⟩
Books hal-01615292v1
Page :