RGSep Action Inference

DOI10.1007/978-3-642-11319-2_25MaRDI QIDQ3656895zbMATH OpenOpenAlexFDO

Authors Viktor Vafeiadis

Publication date 14 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_25

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Action understanding and active inference
• Inference in action
• scientific article; zbMATH DE number 1361504
• scientific article; zbMATH DE number 591239
• Structural, Syntactic, and Statistical Pattern Recognition
• Action-complexity in GMMG and EGMG
• scientific article; zbMATH DE number 1670681
• Action Semantics in Retrospect
• Inference about actions: Levesque's view on action-ability and Dirichlet processes

Cited in

(3)

• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free
• Verifying visibility-based weak consistency
• Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification

This page was built for publication: RGSep Action Inference

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