Filter your results
- 9
- 1
- 9
- 1
- 10
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 10
- 1
- 1
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Many-to-Many Information Flow Policies19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers
hal-01657347v1
|
||
|
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books
hal-01631711v1
|
||
|
|
Adaptable Transition Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers
hal-01485980v1
|
||
|
|
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers
hal-01774933v1
|
||
|
|
Replica-Based High-Performance Tuple Space Computing17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers
hal-01774936v1
|
||
|
|
Klaim-DB: A Modeling Language for Distributed Database Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers
hal-01774934v1
|
||
|
|
Quality Criteria for Cyber Security MOOCs13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.46-60, ⟨10.1007/978-3-030-59291-2_4⟩
Conference papers
hal-03380695v1
|
||
|
|
Reputation-Based Cooperation in the Clouds8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.213-220, ⟨10.1007/978-3-662-43813-8_15⟩
Conference papers
hal-01381690v1
|
||
|
|
Aggregation Policies for Tuple Spaces20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.181-199, ⟨10.1007/978-3-319-92408-3_8⟩
Conference papers
hal-01821494v1
|
||
|
|
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers
hal-01055150v1
|