Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 478810
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

Coordination of Tasks on a Real-Time OS

Guillermina Cledou , José Proença , Bernhard Sputh , Eric Verhulst
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.250-266, ⟨10.1007/978-3-030-22397-7_15⟩
Conference papers hal-02365513v1