An operational semantics for paragon: A design notation for parallel architectures

DOI10.1007/BF03037642zbMath0722.68075MaRDI QIDQ756433

David Bolton, Chris Hankin, Paul H. J. Kelly

Publication date: 1991

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

graph rewritingmessage passingparallel combinator reductionparallel object-oriented language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Uses Software

• DACTL
• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Denotational semantics of a parallel object-oriented language
• A safe approach to parallel combinator reduction
• A calculus of communicating systems
• LEAN: An intermediate language based on graph rewriting

This page was built for publication: An operational semantics for paragon: A design notation for parallel architectures