scientific article

From MaRDI portal

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

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"