Trace and testing equivalence on asynchronous processes
Information and Computation
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Languages and process calculi for network aware programming – short summary -
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
| Hi-index | 5.23 |