Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Communications of the ACM
Concurrent constraint programming
Concurrent constraint programming
Non-monotonic concurrent constraint programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
On bisimulations of the asynchronous &pgr;-calculus
Theoretical Computer Science
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Lectures on a Calculus for Communicating Systems
Seminar on Concurrency, Carnegie-Mellon University
Modeling Coordination via Asynchronous Communication
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Three Semantics of the Output Operation for Generative Communication
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A transition system semantics for the control-driven coordination language MANIFOLD
A transition system semantics for the control-driven coordination language MANIFOLD
Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE
HICSS '99 Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences-Volume 3 - Volume 3
Semantical aspects of an architecture for distributed embedded systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Formal Specification of JavaSpaces Architecture Using µCRL
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
An Associative Broadcast Based Coordination Model for Distributed Processes
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Comparing Software Architectures for Coordination Languages
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Hi-index | 0.00 |