Denotational semantics and its algebraic derivation for an event-driven system-level language

From MaRDI portal
(Redirected from Publication:903516)