Predicative specifications for functional programs describing communicating networks

DOI10.1016/0020-0190(87)90227-4zbMath0625.68007OpenAlexW1967501773MaRDI QIDQ579917

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

nondeterminismfunctional programmingcommunicating systemspredicative specifications

Mathematics Subject Classification ID

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

Related Items (5)

Specification and top-down design of distributed systems ⋮ Algebraic specification of concurrent systems ⋮ Specification and design of shared resource arbitration ⋮ Algebraic and functional specification of an interactive serializable database interface ⋮ Algebraic specification of reactive systems

Cites Work

• First-order dynamic logic
• Predicative programming Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item

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