scientific article; zbMATH DE number 3551848

zbMath0354.68021MaRDI QIDQ4125720

J. W. de Bakker

Publication date: 1976

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (19)

Relational algebraic semantics of deterministic and nondeterministic programs ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Relation-algebraic semantics ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Lazy Relations ⋮ CPO's of measures for nondeterminism ⋮ Semantics of nondeterminism, concurrency, and communication ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Formalization of properties of nondeterministic recursive definitions ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ A unified approach for studying the properties of transition systems ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Étude et implémentation d'un système de déduction pour logique algorithmique ⋮ Logical foundations for programming semantics ⋮ Algebras for iteration and infinite computations ⋮ Functional behavior in data spaces ⋮ Formal computations of non deterministic recursive program schemes ⋮ On the fixpoints of nondeterministic recursive definitions ⋮ Infinite executions of lazy and strict computations

This page was built for publication: