scientific article; zbMATH DE number 749802

MaRDI QIDQ4763985zbMATH OpenFDO

Authors J. Padberg

Publication date 1 May 1995

zbMATH Keywords

algebraic specificationsdynamic abstract data typesPetri nets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Computer Science Logic
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Reasoning about algebraic data types with abstractions
• Algorithmic specifications: a constructive specification method for abstract data types
• Specification of abstract dynamic-data types: A temporal logic approach
• scientific article; zbMATH DE number 3936490
• scientific article; zbMATH DE number 88946
• Decision procedures for algebraic data types with abstractions
• scientific article; zbMATH DE number 4049006

Cited in

(1)

• The METANET: a means for the specification of semantic networks as abstract data types

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