✦ LIBER ✦

The denotational semantics of sequential machines

✍ Scribed by Michael J.C. Gordon

Book ID: 113162236
Publisher: Elsevier Science
Year: 1980
Tongue: English
Weight: 334 KB
Volume: 10
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(80)90111-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Denotational semantics of communicating

Denotational semantics of communicating sequential programs

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

Denotational linear time semantics and s

Denotational linear time semantics and sequential composition

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

Extending CSP: denotational semantics

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

On phase semantics and denotational sema

On phase semantics and denotational semantics: the exponentials

✍ Antonio Bucciarelli; Thomas Ehrhard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deÿne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as

Denotational semantics of ANSI C

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

Denotational semantics of hybrid automat

Denotational semantics of hybrid automata

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