Functional behavior of nondeterministic and concurrent programs

DOI10.1016/S0019-9958(84)80032-7MaRDI QIDQ3719800zbMATH OpenOpenAlexFDO

Authors Michael Main, David B. Benson

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(84)80032-7

zbMATH Keywords

deterministic program segmentfree interpretationsHerbrand universesnondeterministic and concurrent programspredicate transformersweakest preconditions

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1691453
• Non-determinism analyses in a parallel-functional language
• A functional programming approach to the specification and verification of concurrent systems
• scientific article; zbMATH DE number 4200180
• Implementation of Functional Languages
• scientific article; zbMATH DE number 3876560
• scientific article; zbMATH DE number 17794
• Reasoning About Deterministic Concurrent Functional I/O
• Reachability in Concurrent Uninterpreted Programs.

Cited in

(10)

• Algebraic solutions to recursion schemes
• Concurrent transition systems
• Semantic models for total correctness and fairness
• Denseness of volatile and nonvolatile sequences of functions
• Bisimulation of automata
• Counting Paths: Nondeterminism as Linear Algebra
• Non-determinism analyses in a parallel-functional language
• scientific article; zbMATH DE number 3307150 (Why is no real title available?)
• Semantic models for total correctness and fairness
• Petri nets are monoids

This page was built for publication: Functional behavior of nondeterministic and concurrent programs

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