A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Secured Information Flow for Asynchronous Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
From Theory to Practice in Distributed Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A component platform for experimenting with autonomic composition
Proceedings of the 1st international conference on Autonomic computing and communication systems
File transfer in Grid applications at deployment, execution and retrieval
Multiagent and Grid Systems - Grid Computing, high performance and distributed applications
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
A Specification Language for Distributed Components Implemented in GCM/ProActive
The Common Component Modeling Example
Methodology for component-based development of grid applications
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
Stopping safely hierarchical distributed components: application to GCM
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
Minimal Ownership for Active Objects
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Asynchronous sequential processes
Information and Computation
Garbage collecting the grid: a complete DGC for activities
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Group Abstractions for Organizing Dynamic Distributed Systems
Euro-Par 2008 Workshops - Parallel Processing
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Transparent First-class Futures and Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A mechanized model of the theory of objects
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Towards context-aware web applications
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Garbage collecting the grid: a complete DGC for activities
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Privacy enforcement and analysis for functional active objects
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Models of Rate Restricted Communication for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating concurrent behaviors with worst-case cost bounds
FM'11 Proceedings of the 17th international conference on Formal methods
First class futures: specification and implementation of update strategies
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
Grid file transfer during deployment, execution, and retrieval
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Concurrency, Compositionality, and Correctness
ASPfun: A typed functional active object calculus
Science of Computer Programming
Process-driven biometric identification by means of autonomic grid components
International Journal of Autonomous and Adaptive Communications Systems
Component-based approach for programming and running scientific applications on grids and clouds
International Journal of High Performance Computing Applications
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Efficient and fully abstract routing of futures in object network overlays
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
| Hi-index | 0.00 |