scientific article; zbMATH DE number 4039256

MaRDI QIDQ3777428zbMATH OpenFDO

Authors Egidio Astesiano, Gianna Reggio, Martin Wirsing

Publication date 1986

zbMATH Keywords

abstract data typealgebraic specificationconcurrent systemslabelled transition systemspartial algebrarelational specifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Behavioural and abstractor specifications
• Transition specifications for dynamic abstract data types
• scientific article; zbMATH DE number 475192
• Observational implementations
• Behavioural and abstractor specifications revisited

Cited in

(10)

• Behavioural approaches to algebraic specifications. A comparative study
• Proof systems for structured specifications with observability operators
• Behavioural and abstractor specifications
• Observability Concepts in Abstract Data Type Specification, 30 Years Later
• On the spectra of universal relational sentences
• scientific article; zbMATH DE number 4123275 (Why is no real title available?)
• scientific article; zbMATH DE number 475192 (Why is no real title available?)
• scientific article; zbMATH DE number 1062630 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2003
• Algebraic specification of concurrent 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 Q3777428)