Paper

Type
 
Title
An Observational Semantics for Linda  
Authors
Rocco De Nicola, Rosario Pugliese 
Editors
J. Desel  
Book
Proc. of the Int. Workshop on Structures in Concurrency Theory  
Pages
129-143  
Abstract
Linda has just four primitives, all of which are devoted to coordinating the interactions among programs by sharing information maintained in a common data space. To write programs manipulating data, it is necessary to embed Linda in a (functional, imperative, logic, etc.) programming language; this leads to a family of languages based on Linda. We define syntax and semantics for a member of the Linda family, L, that is obtained by embedding Linda in a ``simple'' sequential language. The semantics of this concurrent programming language is formalized by applying techniques developed within the framework of process algebras. A two-level semantics for L is provided: an operational one in Plotkin's style, based on a transition system, and an observational one, based on three behavioural preorders, obtained by applying the testing framework to L.  
Year
1995  
Bibtex key
DP95  
Bibtex
@{DP95,
  title = {{An Observational Semantics for Linda}},
  author = {De Nicola, Rocco and Pugliese, Rosario},
  booktitle = {Proc. of the Int. Workshop on Structures in Concurrency Theory},
  editor = {J. Desel},
  pages = {129-143},
  abstract = {Linda has just four primitives, all of which are devoted to coordinating the
      interactions among programs by sharing information maintained in a common data
      space. To write programs manipulating data, it is necessary to embed Linda in a
      (functional, imperative, logic, etc.) programming language; this leads to a
      family of languages based on Linda. We define syntax and semantics for a member
      of the Linda family, L, that is obtained by embedding Linda in a ``simple''
      sequential language. The semantics of this concurrent programming language is
      formalized by applying techniques developed within the framework of process
      algebras. A two-level semantics for L is provided: an operational one in
      Plotkin's style, based on a transition system, and an observational one, based
      on three behavioural preorders, obtained by applying the testing framework to L.},
  year = {1995},
  publisher = {Springer},
  series = {Series Workshops in Computing},
}
 
Created
0000-00-00 00:00:00  
Modified
0000-00-00 00:00:00