Concurrent program schemes and their logics

DOI10.1016/0304-3975(87)90088-0MaRDI QIDQ1094866zbMATH OpenOpenAlexFDO

Authors David Peleg

Publication date 1987

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(87)90088-0

zbMATH Keywords

decidabilityaxiomatizationdynamic logicsgoto schemesstructured schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4024756
• Concurrent dynamic logic
• Parallel program schemata
• Some open questions in the theory of program schemes and dynamic logics
• scientific article; zbMATH DE number 3913705

Cites work

• scientific article; zbMATH DE number 3848600 (Why is no real title available?)
• scientific article; zbMATH DE number 3468252 (Why is no real title available?)
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 3372029 (Why is no real title available?)
• A programming language for the inductive sets, and applications
• Alternating tree automata
• Alternation
• An elementary proof of the completeness of PDL
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Decidability of finite probabilistic propositional dynamic logics
• Definability in dynamic logic
• Finiteness is mu-ineffable
• On folk theorems
• Parallel program schemata
• Propositional dynamic logic of flowcharts
• Propositional dynamic logic of regular programs
• The correctness of nondeterministic programs
• Theory of program structures: Schemes, semantics, verification

Cited in

(11)

• scientific article; zbMATH DE number 1670484 (Why is no real title available?)
• scientific article; zbMATH DE number 1830933 (Why is no real title available?)
• scientific article; zbMATH DE number 4033135 (Why is no real title available?)
• scientific article; zbMATH DE number 140005 (Why is no real title available?)
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• scientific article; zbMATH DE number 4024756 (Why is no real title available?)
• scientific article; zbMATH DE number 3902588 (Why is no real title available?)
• Properties of concurrent programs
• Transfer Principles for Reasoning About Concurrent Programs
• scientific article; zbMATH DE number 7526274 (Why is no real title available?)
• Axiomatizations of backtracking

This page was built for publication: Concurrent program schemes and their logics

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