A transition system semantics for the control-driven coordination language MANIFOLD
type: Item
instance of: scholarly article
title: A transition system semantics for the control-driven coordination language MANIFOLD
zbMATH Open document ID: 0954.68107
DOI: 10.1016/S0304-3975(99)00226-1
author: J. W. de Bakker
author: A. Scutellà
author: Marcello M. Bonsangue
author: Farhad Arbab
author: Jan J. M. M. Rutten
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1493149
zbMATH Keywords: parallel computing
zbMATH Keywords: coordination languages
zbMATH Keywords: operational semantics
zbMATH Keywords: transition system semantics
zbMATH Keywords: models of communication
describes a project that uses: Linda
MaRDI profile type: Publication
cites work: A layered semantics for a parallel object-oriented language
cites work: Coordination languages for parallel programming
cites work: A process algebraic view of Linda coordination primitives
cites work: Using coordination to parallelize sparse-grid methods for 3-D CFD problems
cites work: Generative communication in Linda
cites work: Q4355684
cites work: Interactive foundations of computing
description: scientific article; zbMATH DE number 1493149