scientific article; zbMATH DE number 3765113

MaRDI QIDQ3947101zbMATH OpenFDO

Authors M. Nivat, André Arnold

Publication date 1978

zbMATH Keywords

algebraic semanticscomplete metric spacescomputation domainscposdenotational semanticsfixpoint methodinfinite treesleast fixpoint methodsemantics of non-deterministic recursive program schemes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Embedding metric spaces into CPO's
• Period doubling bifurcations in a two-box model of the Brusselator
• Distributive semantics for nondeterministic typed -calculi
• All solutions of a system of recursion equations in infinite trees and other contraction theories

This page was built for publication:

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