Semantics and analysis of linda-based languages

13Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

You may have access to this PDF.

Abstract

In this paper we define a process algebra abstracting relevant features of the Linda paradigm to parallel computation and show how to give it a semantics based on higher-dimensional automata which is more expressive than interleaving transition systems. In particular, it is a truly concurrent operational semantics, compositional in nature. Furthermore this semantics leads us to new kinds of abstract interpretations useful for the static analysis of concurrency. One of these addresses the correctness of implementations of Linda programs on real computers (which have a finite number of processors).

Cite

CITATION STYLE

APA

Cridlig, R., & Goubault, E. (1993). Semantics and analysis of linda-based languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 724 LNCS, pp. 72–86). Springer Verlag. https://doi.org/10.1007/3-540-57264-3_30

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free