A process algebraic view of Linda coordination primitives
type: Item
instance of: scholarly article
title: A process algebraic view of Linda coordination primitives
zbMATH Open document ID: 0895.68016
DOI: 10.1016/S0304-3975(97)00149-7
author: Nadia Busi
author: Roberto Gorrieri
author: Gianluigi Zavattaro
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1189754
zbMATH Keywords: coordination languages
zbMATH Keywords: semantics of Linda
zbMATH Keywords: process algebra
zbMATH Keywords: behavioral equivalences
describes a project that uses: Linda
MaRDI profile type: Publication
cites work: On bisimulations for the asynchronous π-calculus
cites work: On the semantics of the call-by-name CPS transform
cites work: Testing equivalences for processes
cites work: Generative communication in Linda
cites work: Transition system specifications with negative premises
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Barbed bisimulation
cites work: Q5590814
cites work: Computability of Recursive Functions
cites work: Finite representations of CCS and TCSP programs by automata and Petri nets
description: scientific article; zbMATH DE number 1189754