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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Carnegie Mellon University in Qatar
labStructName_s : Google Inc [Mountain View]
Image document

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Edmund Lam , Iliano Cervesato , Nabeeha Fatima
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩
Conference papers hal-01774944v1
Image document

Timely Dataflow: A Model

Martín Abadi , Michael Isard
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.131-145, ⟨10.1007/978-3-319-19195-9_9⟩
Conference papers hal-01767326v1