Designing equivalent semantic models for process creation
Theoretical Computer Science
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
The gamma model and its discipline of programming
Science of Computer Programming
Coordination languages and their significance
Communications of the ACM
Concurrent constraint programming
Concurrent constraint programming
A paradigm for asynchronous communication and its application to concurrent constraint programming
Logic programming languages
Conference proceedings on PARLE'92
Coordination programming: mechanisms, models and semantics
Coordination programming: mechanisms, models and semantics
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Exploding Complexity May Be Our Own Fault
IEEE Software
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
On the Operational Sematics of a Coordination Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Coordination in the ImpUNITY Framework
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Semantical aspects of an architecture for distributed embedded systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On the Verification of Coordination
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Comparing Software Architectures for Coordination Languages
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Horizontal communication: a style to compose control software
Software—Practice & Experience
Semantic models of a timed distributed dataspace architecture
Theoretical Computer Science - Formal methods for components and objects
System integration by developing adapters using a database abstraction
Information and Software Technology
Hi-index | 0.00 |