scientific article

From MaRDI portal

Revision as of 21:37, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3030245

Jump to:navigation, search

zbMath0626.68028MaRDI QIDQ3030245

Egidio Astesiano, Gianna Reggio

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parameterization algebraic specification modularity abstract data type process specifications SMoLCS methodology specification of concurrent systems and languages

Mathematics Subject Classification ID

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

Related Items (2)

Specification of abstract dynamic-data types: A temporal logic approach ⋮ Free objects and equational deduction for partial conditional specifications

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3030245&oldid=16066416"