scientific article; zbMATH DE number 4018376

MaRDI QIDQ3030245zbMATH OpenFDO

Authors Egidio Astesiano, Gianna Reggio

Publication date 1987

zbMATH Keywords

abstract data typealgebraic specificationmodularityparameterizationprocess specificationsSMoLCS methodologyspecification of concurrent systems and languages

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• Publication:4721640
• scientific article; zbMATH DE number 3898214
• Direct semantics of concurrent languages in the SMoLCS approach
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• Algebraic specification of concurrent systems

Cited in

(6)

• Specification of abstract dynamic-data types: A temporal logic approach
• Presentation of smoothers: the family approach
• Process and content: two ways of using SSM
• scientific article; zbMATH DE number 3898214 (Why is no real title available?)
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• Free objects and equational deduction for partial conditional specifications

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