On Blocks: Locality and Asynchronous Communication (Extended Abstract)

Authors:
Frank S. de Boer;Joost N. Kok;Catuscia Palamidessi;Jan J. M. M. Rutten
Affiliations:
-;-;-;-
Venue:
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Year:
1992

Citing 0
Cited 5

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification

IEEE Transactions on Knowledge and Data Engineering
A denotational semantics for Timed Linda

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Proving correctness of timed concurrent constraint programs

ACM Transactions on Computational Logic (TOCL)
A Timed Linda Language and its Denotational Semantics

Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract