Ciancarini P, Jensen K, Yanklevich D. The semantics of a parallel language based on a shared dataspace. Technical Report 26/92, University of Pisa, Pisa, Italy, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Animation of Object-Z Specifications with a Set-Oriented.. - Hasselbring (1994) (1 citation) (Correct)
....valuable because it is easy to obtain general understanding of the semantics with little effort. To overcome the problems caused by the informal specification, several formalizations of the coordination language Linda have been undertaken. A comparative study of some approaches may be found in [5]. A Z specification has been presented in [3] To avoid the problems which may be caused by an inconsistent informal specification, we present the formal semantics of our approach to parallel programming by means of the formal specification language Object Z [10] We test the specification ....
Ciancarini P, Jensen K, Yanklevich D. The semantics of a parallel language based on a shared dataspace. Technical Report 26/92, University of Pisa, Pisa, Italy, 1992.
Semantics and Analysis of Linda-based languages - Cridlig, Goubault (1993) (1 citation) (Correct)
....of the computation inside of sequential processes. Similarly, we do not want to take into account the values themselves carried by a given tuple. Consequently, we shall use a kind of Linda calculus, only describing relevant features of coordination between processes. In that way, we follow [CJY92] but define and use an even simpler form of calculus. 3.1 Syntax Let X denote a variable for defining recursion (we shall use upper case characters for them) and t a passive tuple or tuple pattern. Then we define a process as follows: P : t j out(P ) P 0 j read(t) P j get(t) P j P [ P 0 j ....
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.
Heterogeneous Computer Architectures - 12 Month Progress Report - Jackson (1996) (Correct)
....a function to be used to assess available resources and problem complexity before agreeing to accept a task. 4.1.3 Formal Specification A suitable formalism for describing the system has been sought. Though the semantics of the Linda parallel programming language have been formally described [14] it proved hard to develop a description of the entire proposed model. Initial work concentrated on a specification of the Contract Net protocols for task distribution using Z [15] The schema produced only allowed the restatement of what had been already adequately described in plain English. ....
Paolo Ciancarini, Keld K. Jenson, and Dani Yankelivich. The semantics of a parallel language based on a shared data space. Technical Report TR26-92, Dipartmento di Informatica, Universita di Pisa, Italy, September 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC