ColoSL: concurrent local subjective logic

DOI10.1007/978-3-662-46669-8_29MaRDI QIDQ2802462zbMATH OpenOpenAlexFDO

Authors Azalea Raad, Jules Villard, Philippa Gardner

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10044/1/21494

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Subjective auxiliary state for coarse-grained concurrency
• Verifying concurrent graph algorithms
• Views, compositional reasoning for concurrent programs
• Starling: lightweight concurrency verification with views
• CONCUR 2004 - Concurrency Theory

Cited in

(9)

• A perspective on specifying and verifying concurrent modules
• Starling: lightweight concurrency verification with views
• Constructing the views framework
• Views, compositional reasoning for concurrent programs
• Subjective auxiliary state for coarse-grained concurrency
• Caper
• Verifying concurrent graph algorithms
• Local reasoning for global graph properties
• Concise outlines for a complex logic: a proof outline checker for TaDA

This page was built for publication: ColoSL: concurrent local subjective logic

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