scientific article; zbMATH DE number 3562460

MaRDI QIDQ4134898zbMATH OpenFDO

Authors Andrzej Blikle

Publication date 1977

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(4)

• Developments in concurrent Kleene algebra
• Predicate transformers as power operations
• Semantics of algorithmic languages
• Exploring an interface model for CKA

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