scientific article; zbMATH DE number 3995042

zbMath0614.68024MaRDI QIDQ4721640

Egidio Astesiano, Gianna Reggio

Publication date: 1987

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

zbMATH Keywords

semanticscombinatorsrewriting rulesSMoLCS methodologyspecification of concurrent systems and languagesfirst class objectsalgebraic parameterized specificationhigher order calculi

Mathematics Subject Classification ID

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

Related Items

Topological models for higher order control flow ⋮ A decade of TAPSOFT ⋮ Formalism and method ⋮ Free objects and equational deduction for partial conditional specifications ⋮ Observational structures and their logic ⋮ Plain CHOCS. A second generation calculus for higher order processes