✦ LIBER ✦

Denotational semantics of hybrid automata

✍ Scribed by Abbas Edalat; Dirk Pattinson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending CSP: denotational semantics

✍ Lawrence, A.E. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 1016 KB

Denotational semantics of ANSI C

✍ Nikolaos S. Papaspyrou 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Denotational semantics of object specifi

✍ Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

The denotational semantics of sequential

✍ Michael J.C. Gordon 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 349 KB

On the Approximation of Denotational Mu-

✍ Michael Huth 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 172 KB