A denotational semantics for Handel-C

DOI10.1007/s00165-009-0146-3zbMath1216.68154OpenAlexW2115683321MaRDI QIDQ539165

Andrew Butterfield

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0146-3

zbMATH Keywords

prioritydenotational semanticsassertion tracesHandel-C

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

A Unary Semigroup Trace Algebra

Uses Software

• Haskell
• Handel-C
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priorities in process algebras
• CCS with priority choice
• Priority and abstraction in process algebra
• CCS with priority guards
• A Denotational Semantics for Handel-C
• UTP Semantics for Handel-C
• An axiomatic semantics for Esterel

This page was built for publication: A denotational semantics for Handel-C