scientific article; zbMATH DE number 743582
From MaRDI portal
Publication:4763509
Recommendations
Cited in
(18)- From static to dynamic abstract data-types: An institution transformation
- Transition specifications for dynamic abstract data types
- Specification of abstract dynamic-data types: A temporal logic approach
- A deductive approach towards reasoning about algebraic transition systems
- Program specification by typed Gurevich machines
- scientific article; zbMATH DE number 1630101 (Why is no real title available?)
- Generic transforms on incomplete specifications of asynchronous interfaces
- scientific article; zbMATH DE number 1696883 (Why is no real title available?)
- scientific article; zbMATH DE number 1189277 (Why is no real title available?)
- scientific article; zbMATH DE number 604886 (Why is no real title available?)
- scientific article; zbMATH DE number 2062239 (Why is no real title available?)
- scientific article; zbMATH DE number 2079806 (Why is no real title available?)
- scientific article; zbMATH DE number 1487737 (Why is no real title available?)
- scientific article; zbMATH DE number 1860661 (Why is no real title available?)
- scientific article; zbMATH DE number 845595 (Why is no real title available?)
- scientific article; zbMATH DE number 938514 (Why is no real title available?)
- Dynamical systems with implicit state
- A mechanism for the formal description of dynamic systems
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 Q4763509)
