A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order distributed objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler correctness for parallel languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Enhanced operational semantics
ACM Computing Surveys (CSUR)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming languages, analysis tools, and concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed processes and location failures
Theoretical Computer Science
Resource access control in systems of mobile agents
Information and Computation
Language-based performance prediction for distributed and mobile systems
Information and Computation
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Derivatives: A Construct for Internet Programming
ICCL'98 Workshop on Internet Programming Languages
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Implementing Eden - or: Dreams Become Reality
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Protocols for Non-Deterministic Communication over Synchronous Channels
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
A foundation for actor computation
Journal of Functional Programming
CONCUR 2005 - Concurrency Theory
Information and Computation
MA-UML: a conceptual approach for mobile agents' modelling
International Journal of Agent-Oriented Software Engineering
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
Efficient parallel programming in Poly/ML and Isabelle/ML
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Distributed call-tracking for security
Computer Languages, Systems and Structures
| Hi-index | 0.00 |