Constructing the Views Framework

DOI10.1007/978-3-319-14806-9_4zbMath1457.68070OpenAlexW1468742577MaRDI QIDQ2814615

Stephan van Staden

Publication date: 22 June 2016

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14806-9_4

zbMATH Keywords

semanticsformal languagesconcurrencyprogramming calculi

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

On Rely-Guarantee Reasoning ⋮ A Program Construction and Verification Tool for Separation Logic

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free shuffle algebras in language varieties
• Graphical models of separation logic
• A calculus of communicating systems
• A completeness theorem for Kleene algebras and the algebra of regular events
• Full abstraction for a shared-variable parallel language
• In praise of algebra
• The Laws of Programming Unify Process Calculi
• Views
• On Locality and the Exchange Law for Concurrent Processes
• Concurrent Kleene Algebra
• Algebra Unifies Operational Calculi

This page was built for publication: Constructing the Views Framework