scientific article

zbMath0566.68014MaRDI QIDQ3681905

Peter van Emde Boas, Job Zwiers, Willem Paul de Roever

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Specificationverification of programscompositional proofsystemparallel executing networksrecursive creation of subnetworkssyntactic programming construct

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Program composition via unification, Reasoning about dynamically evolving process structures, Invariants, composition, and substitution, Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency, A proof system for distributed processes, A compositional proof system for distributed programs, Compositional semantics for real-time distributed computing, Program composition via unification, A proof system for asynchronously communicating deterministic processes, Issues in the design of a parallel object-oriented language, Proof theory for exception handling in a tasking environment, Correctness of concurrent processes, Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs, A Bibliography of Willem-Paul de Roever, Modal logics for communicating systems, An introduction to compositional methods for concurrency and their application to real-time., P-A logic - a compositional proof system for distributed programs, Specification-oriented semantics for communicating processes