The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Computation: finite and infinite machines
Computation: finite and infinite machines
A programming language
Language and visualization support for large-scale concurrency
ICSE '88 Proceedings of the 10th international conference on Software engineering
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Implementing a shared dataspace language on a message-based multiprocessor
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
Programming by multiset transformation
Communications of the ACM
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.02 |