scientific article; zbMATH DE number 683360

MaRDI QIDQ4312481zbMATH OpenFDO

Authors Maura Cerioli, Egidio Astesiano

Publication date 14 May 1995

zbMATH Keywords

simulation independent metalanguage

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3980455
• Specifications in an arbitrary institution
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 3997131
• scientific article; zbMATH DE number 1368950

Cited in

(5)

• Logical systems for structured specifications.
• scientific article; zbMATH DE number 1696895 (Why is no real title available?)
• scientific article; zbMATH DE number 3980455 (Why is no real title available?)
• scientific article; zbMATH DE number 1472273 (Why is no real title available?)
• Equivalences among various logical frameworks of partial algebras

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