Filter your results
- 12
- 12
- 12
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 2
- 12
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
JErlang: Erlang with Joins12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.61-75, ⟨10.1007/978-3-642-13414-2_5⟩
Conference papers
hal-01054623v1
|
||
|
Multi-threaded Active Objects15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.90-104, ⟨10.1007/978-3-642-38493-6_7⟩
Conference papers
hal-01486037v1
|
||
|
$$\pi $$π with Leftovers: A Mechanisation in Agda41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.157-174, ⟨10.1007/978-3-030-78089-0_9⟩
Conference papers
hal-03740255v1
|
||
|
Formal Software Verification: How Close Are We?Joint 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.1, ⟨10.1007/978-3-642-13464-7_1⟩
Conference papers
hal-01055211v1
|
||
|
AJITTS: Adaptive Just-In-Time Transaction Scheduling13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.57-70, ⟨10.1007/978-3-642-38541-4_5⟩
Conference papers
hal-01489465v1
|
||
|
Ditto – Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.405-424, ⟨10.1007/978-3-642-45065-5_21⟩
Conference papers
hal-01480786v1
|
||
|
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.208-228, ⟨10.1007/978-3-642-35170-9_11⟩
Conference papers
hal-01555550v1
|
||
|
AErlang: Empowering Erlang with Attribute-Based Communication19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.21-39, ⟨10.1007/978-3-319-59746-1_2⟩
Conference papers
hal-01657341v1
|
||
|
FRESA: A Frequency-Sensitive Sampling-Based Approach for Data Race Detection10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.49-60, ⟨10.1007/978-3-642-40820-5_5⟩
Conference papers
hal-01513753v1
|
||
|
A New Contention Management Technique for Obstruction Free Transactional Memory13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.11-22, ⟨10.1007/978-3-662-45237-0_3⟩
Conference papers
hal-01405548v1
|
||
|
From Modelling to Systematic Deployment of Distributed Active Objects18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers
hal-01305474v1
|
||
|
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
|