| Distributed futures for efficient data transfer between parallel processes | 0 | 0.34 | 2020 |
| Leveraging access mode declarations in a model for memory consistency in heterogeneous systems | 0 | 0.34 | 2020 |
| Active Objects with Deterministic Behaviour. | 0 | 0.34 | 2020 |
| Preface for the special issue on Interaction and Concurrency Experience 2017 | 0 | 0.34 | 2019 |
| Godot: All the Benefits of Implicit and Explicit Futures (Artifact). | 0 | 0.34 | 2019 |
| Godot - All the Benefits of Implicit and Explicit Futures. | 0 | 0.34 | 2019 |
| Proceedings 10th Interaction and Concurrency Experience. | 0 | 0.34 | 2018 |
| Preface for the special issue on Interaction and Concurrency Experience 2016 | 0 | 0.34 | 2018 |
| On Reachability in Parameterized Phaser Programs. | 0 | 0.34 | 2018 |
| Active Objects for Coordinating BSP Computations (Short Paper). | 0 | 0.34 | 2018 |
| Ensuring Memory Consistency In Heterogeneous Systems Based On Access Mode Declarations | 0 | 0.34 | 2018 |
| Multiactive objects and their applications. | 1 | 0.36 | 2017 |
| Trustable virtual machine scheduling in a cloud. | 0 | 0.34 | 2017 |
| Monitoring as-a-service to drive more efficient future system design. | 0 | 0.34 | 2017 |
| A Survey of Active Object Languages. | 8 | 0.58 | 2017 |
| Behavioural semantics for asynchronous components. | 4 | 0.42 | 2017 |
| Analysis of Synchronisations in Stateful Active Objects. | 3 | 0.38 | 2017 |
| A Theory for the Composition of Concurrent Processes. | 1 | 0.35 | 2016 |
| Integrated Environment for Verifying and Running Distributed Components. | 0 | 0.34 | 2016 |
| From Modelling To Systematic Deployment Of Distributed Active Objects | 6 | 0.48 | 2016 |
| Actors may synchronize, safely! | 5 | 0.51 | 2016 |
| Reconfigurable Applications Using GCMScript. | 0 | 0.34 | 2016 |
| Verifying The Correct Composition Of Distributed Components: Formalisation And Tool | 1 | 0.36 | 2015 |
| Management of service compositionbased on self-controlled components | 9 | 0.54 | 2015 |
| Painless support for static and runtime verification of component-based applications | 0 | 0.34 | 2015 |
| Programming distributed and adaptable autonomous components--the GCM/ProActive framework | 7 | 0.58 | 2015 |
| pNets: An Expressive Model for Parameterised Networks of Processes | 0 | 0.34 | 2015 |
| Bringing Coq into the World of GCM Distributed Applications | 4 | 0.43 | 2014 |
| Self-Configuration and Self-Optimization Autonomic Skeletons using Events | 0 | 0.34 | 2014 |
| Declarative scheduling for active objects | 3 | 0.39 | 2014 |
| A mechanized model for CAN protocols | 1 | 0.36 | 2013 |
| Multi-Threaded Active Objects | 4 | 0.43 | 2013 |
| Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. | 0 | 0.34 | 2013 |
| An Optimal Broadcast Algorithm for Content-Addressable Networks. | 0 | 0.34 | 2013 |
| ASPfun: A typed functional active object calculus | 2 | 0.36 | 2012 |
| Verifying Safety of Fault-Tolerant Distributed Components. | 3 | 0.40 | 2011 |
| Adapting Active Objects to Multicore Architectures | 1 | 0.41 | 2011 |
| Unifying Architectural and Behavioural Specifications of Distributed Components | 4 | 0.54 | 2010 |
| Behavioural Models For Group Communications | 3 | 0.46 | 2010 |
| First class futures: specification and implementation of update strategies | 3 | 0.38 | 2010 |
| Transparent First-class Futures and Distributed Components | 3 | 0.41 | 2010 |
| Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL | 4 | 0.46 | 2010 |
| Mixing Workflows and Components to Support Evolving Services | 0 | 0.34 | 2010 |
| Locally Nameless Sigma Calculus. | 0 | 0.34 | 2010 |
| Behavioural models for distributed Fractal components | 33 | 1.25 | 2009 |
| GCM: a grid extension to Fractal for autonomous distributed components | 41 | 1.72 | 2009 |
| Functional Active Objects: Typing and Formalisation | 4 | 0.45 | 2009 |
| Structural Reconfiguration: An Autonomic Strategy for GCM Components | 4 | 0.46 | 2009 |
| A framework for reasoning on component composition | 5 | 0.49 | 2009 |
| Asynchronous sequential processes | 10 | 0.84 | 2009 |
