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

Filter your results

5 results
Page :
sorted by
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

 Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Conference papers hal-03740263v1

Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1
Image document

Implementing Open Call-by-Value

 Beniamino Accattoli , Giulio Guerrieri
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers hal-01675365v1
Image document

Metrics for Differential Privacy in Concurrent Systems

 Lili Xu , Konstantinos Chatzikokolakis , Huimin Lin
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩
Conference papers hal-00879140v2
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
Page :