Predicative specifications for functional programs describing communicating networks

DOI10.1016/0020-0190(87)90227-4MaRDI QIDQ579917zbMATH OpenOpenAlexFDO

Authors Manfred Broy

Publication date 1987

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(87)90227-4

zbMATH Keywords

functional programmingnondeterminismcommunicating systemspredicative specifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 512961
• A functional calculus for specification and verification of nondeterministic interactive systems
• Predicative programming Part II
• On denotational versus predicative semantics
• A functional programming approach to the specification and verification of concurrent systems

Cites work

• scientific article; zbMATH DE number 3898216 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 970745 (Why is no real title available?)
• First-order dynamic logic
• Predicative programming Part I

Cited in

(8)

• Specification and top-down design of distributed systems
• A functional calculus for specification and verification of nondeterministic interactive systems
• Functional structures in networks. AMLn -- a language for model driven development of telecom systems.
• Algebraic specification of concurrent systems
• Specification and design of shared resource arbitration
• Algebraic and functional specification of an interactive serializable database interface
• A functional programming approach to the specification and verification of concurrent systems
• Algebraic specification of reactive systems

This page was built for publication: Predicative specifications for functional programs describing communicating networks

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