scientific article; zbMATH DE number 139629

MaRDI QIDQ4029608zbMATH OpenFDO

Authors Manfred E. Szabo

Publication date 28 March 1993

zbMATH Keywords

cancellation treescomputation pathsdiagrams of typesexecution schemesprograms as arithmetical formulasproperties of parallel programs

Mathematics Subject Classification ID

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

Recommendations

• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• scientific article; zbMATH DE number 3963828
• Parallel program schemata
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• scientific article; zbMATH DE number 1882007

Cited in

(5)

• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• Program schemes, arrays, Lindström quantifiers and zero-one laws
• A faithful embedding of parallel computations in star-finite models
• scientific article; zbMATH DE number 3963828 (Why is no real title available?)
• scientific article; zbMATH DE number 1882007 (Why is no real title available?)

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 Q4029608)