scientific article; zbMATH DE number 4081545

MaRDI QIDQ3812237zbMATH OpenFDO

Authors Vasile Crăciunean, I. S. Sibiu

Publication date 1988

zbMATH Keywords

convolutive compositionKleene semanticssemantics of recursive structures

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Applications of computability and recursion theory (03D80) Preadditive, additive categories (18E05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4043253
• Convolution and concurrency
• Compositionality, computability, and complexity
• Adding recursive constructs to bialgebraic semantics
• scientific article; zbMATH DE number 3967883

Cited in

(1)

• Recursive proof composition from accumulation schemes

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