Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Structure: Internal structure identifier : 83587
Page :
sorted by
Image document

On global types and multi-party sessions

 Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
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.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers hal-00618814v1
Image document

Towards Semantic Process Mining Through Knowledge-Based Trace Abstraction

 G. Leonardi , M. Striani , S. Quaglini , A. Cavallini , S. Montani
7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchatel, Switzerland. pp.45-64, ⟨10.1007/978-3-030-11638-5_3⟩
Conference papers hal-02060703v1
Image document

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

Dynamics in Delegation and Revocation Schemes: A Logical Approach

 Guillaume Aucher , Steve Barker , Guido Boella , Valerio Genovese , Leendert van Der Torre
23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers inria-00593654v2
Image document

Retractable and Speculative Contracts

 Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers hal-01633262v1
Image document

Involving the Human User in the Control Architecture of an Autonomous Agent

 Roberto Micalizio , Giancarlo Nuzzolo , Enrico Scala , Pietro Torasso
Third IFIP TC12 International Conference on Artificial Intelligence (AI) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.13-22, ⟨10.1007/978-3-642-15286-3_2⟩
Conference papers hal-01054587v1
Image document

A Personalised Interactive Mobile App for People with Autism Spectrum Disorder

 Federica Cena , Amon Rapp , Claudio Mattutino , Noemi Mauro , Liliana Ardissono , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.313-317, ⟨10.1007/978-3-030-85607-6_28⟩
Conference papers hal-04291219v1
Image document

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

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
Page :