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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Dipartimento di Informatica [Pisa]
labStructName_s : High-Assurance Software Laboratory [Braga, Portugal]
Image document

Concise Server-Wide Causality Management for Eventually Consistent Data Stores

Ricardo Gonçalves , Paulo Sérgio Almeida , Carlos Baquero , Victor Fonte
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.66-79, ⟨10.1007/978-3-319-19129-4_6⟩
Conference papers hal-01775033v1
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