scientific article; zbMATH DE number 3995042

From MaRDI portal

Revision as of 20:56, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4721640

Jump to:navigation, search

zbMath0614.68024MaRDI QIDQ4721640

Egidio Astesiano, Gianna Reggio

Publication date: 1987

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

zbMATH Keywords

semantics combinators rewriting rules SMoLCS methodology specification of concurrent systems and languages first class objects algebraic parameterized specification higher order calculi

Mathematics Subject Classification ID

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

Related Items (6)

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

This page was built for publication:

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