Search - IFIP Open Digital Library Access content directly

Filter your results

8 results
authFullName_s : Dave Clarke
Page :
sorted by
Image document

Subobject Transactional Memory

 Marko Van Dooren , Dave Clarke
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.44-58, ⟨10.1007/978-3-642-30829-1_4⟩
Conference papers hal-01529600v1
Image document

Forward to a Promising Future

 Kiko Fernandez-Reyes , Dave Clarke , Elias Castegren , Huu-Phuc Vo
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.162-180, ⟨10.1007/978-3-319-92408-3_7⟩
Conference papers hal-01821490v1
Image document

Noninterference via Symbolic Execution

 Dimiter Milushev , Wim Beck , Dave Clarke
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.152-168, ⟨10.1007/978-3-642-30793-5_10⟩
Conference papers hal-01528732v1
Image document

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
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.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1

Coordination Models and Languages

 Dave Clarke , Gul Agha
Springer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books hal-01555333v1
Image document

Partial Connector Colouring

 Dave Clarke , José Proença
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.59-73, ⟨10.1007/978-3-642-30829-1_5⟩
Conference papers hal-01529589v1
Image document

Interactive Interaction Constraints

 José Proença , Dave Clarke
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.211-225, ⟨10.1007/978-3-642-38493-6_15⟩
Conference papers hal-01486028v1
Image document

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

 Kiko Fernandez-Reyes , Dave Clarke , Daniel S. Mccain
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.101-120, ⟨10.1007/978-3-319-39519-7_7⟩
Conference papers hal-01631723v1
Page :