Constructing the views framework

DOI10.1007/978-3-319-14806-9_4MaRDI QIDQ2814615zbMATH OpenOpenAlexFDO

Authors 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

concurrencyformal languagesprogramming calculisemantics

Mathematics Subject Classification ID

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

Recommendations

• Views, compositional reasoning for concurrent programs
• scientific article; zbMATH DE number 3956417
• scientific article; zbMATH DE number 3902009
• ColoSL: concurrent local subjective logic
• scientific article; zbMATH DE number 1948163

Cites work

• A calculus of communicating systems
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebra unifies operational calculi
• Concurrent Kleene Algebra
• Free shuffle algebras in language varieties
• Full abstraction for a shared-variable parallel language
• Graphical models of separation logic
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• In praise of algebra
• On locality and the exchange law for concurrent processes
• The laws of programming unify process calculi
• Views, compositional reasoning for concurrent programs

Cited in

(5)

• Partial evaluation of views
• View disassembly: A rewrite that extracts portions of views
• Views, compositional reasoning for concurrent programs
• On rely-guarantee reasoning
• A program construction and verification tool for separation logic

Describes a project that uses

Uses Software

• Isabelle/HOL

This page was built for publication: Constructing the views framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814615)