Algebraic imperative specifications

DOI10.1007/3-540-46562-6_3MaRDI QIDQ2729904zbMATH OpenFDO

Authors Marie-Claude Gaudel, Alexandre V. Zamulin

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_3

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 743582
• Dynamical systems with implicit state
• Transition specifications for dynamic abstract data types
• Algebraic state machines
• scientific article; zbMATH DE number 2079806

Cited in

(5)

• scientific article; zbMATH DE number 1696883 (Why is no real title available?)
• scientific article; zbMATH DE number 713868 (Why is no real title available?)
• scientific article; zbMATH DE number 1042220 (Why is no real title available?)
• An Institution for Imperative RSL Specifications
• Dynamical systems with implicit state

This page was built for publication: Algebraic imperative specifications

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