scientific article

zbMath1270.68151MaRDI QIDQ2843615

Andrew Butterfield, J. C. P. Woodcock

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610480762X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A denotational semantics for Handel-C

Uses Software

• Handel-C
• Circus

Cites Work

• Circus
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item