scientific article; zbMATH DE number 3898214

MaRDI QIDQ3677154zbMATH OpenFDO

Authors G. F. Mascari, Egidio Astesiano, Gianna Reggio, Martin Wirsing

Publication date 1985

zbMATH Keywords

algebraic specification languageASLconcurrent systemsmonitoringparallel compositionsynchronization

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4018376
• Algebraic specification of concurrent systems
• scientific article; zbMATH DE number 4030998
• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 3872655

Cited in

(9)

• Structured algebraic specifications: A kernel language
• Toward formal development of programs from algebraic specifications: Implementations revisited
• From static to dynamic abstract data-types: An institution transformation
• A formal approach to object-oriented software engineering
• Specification of parameterized programs -- persistency revisited
• scientific article; zbMATH DE number 4018376 (Why is no real title available?)
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• scientific article; zbMATH DE number 1390334 (Why is no real title available?)
• Distributed Computing

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