Semantics and analysis of linda-based languages-Reference-Cited by-同舟云学术

Semantics and analysis of linda-based languages

Published:1993 Issue: Volume: Page:72-86
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Cridlig Régis,Goubault Eric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57264-3_30

Reference14 articles.

1. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4), 1992.

2. N. Carriero and D. Gelernter. How to write parallel programs A first course. MIT Press, Cambridge, Mass., 1990.

3. P. Ciancarini, K. K. Jensen, and D. Yankelevitch. The semantics of a parallel language based on a shared data space. Technical Report 26, DIUP, 1992.

4. P. J. Freyd and A. Scedrov. Categories, allegories. In North-Holland Mathematical Library, volume 39. North-Holland, 1990.

5. E. Goubault and T.P. Jensen. Homology of higher-dimensional automata. In Proc. of CONCUR'92, Stonybrook, New York, August 1992. Springer-Verlag.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ARx: Reactive Programming for Synchronous Connectors;Lecture Notes in Computer Science;2020

2. Linear Process Algebra;Distributed Computing and Internet Technology;2011

3. Durations for truly-concurrent transitions;Programming Languages and Systems — ESOP '96;1996

4. On the operational semantics of a coordination language;Object-Based Models and Languages for Concurrent Systems;1995

5. Static and dynamic processor allocation for higher-order concurrent languages;TAPSOFT '95: Theory and Practice of Software Development;1995