✦ LIBER ✦

Denotational semantics of communicating sequential programs

✍ Scribed by Manfred Broy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The denotational semantics of sequential

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

Denotational linear time semantics and s

✍ Christel Baier; Mila E. Majster-Cederbaum 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 822 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 420 KB

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 hybrid automat

✍ Abbas Edalat; Dirk Pattinson 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 321 KB