Publication:3030245
From MaRDI portal
zbMath0626.68028MaRDI QIDQ3030245
Egidio Astesiano, Gianna Reggio
Publication date: 1987
parameterization; algebraic specification; modularity; abstract data type; process specifications; SMoLCS methodology; specification of concurrent systems and languages
Related Items
Free objects and equational deduction for partial conditional specifications, Specification of abstract dynamic-data types: A temporal logic approach