✦ LIBER ✦

Concurrent Semantics for the π-calculus

✍ Scribed by Ugo Montanari; Marco Pistore

Book ID: 108498148
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 954 KB
Volume: 1
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00024-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Petri nets semantics of π-calculus

✍ Zhenhua Yu; Yuanli Cai; Haiping Xu 📂 Article 📅 2008 🏛 SP Higher Education Press 🌐 English ⚖ 276 KB

Logical Semantics for the Rewriting Calc

Logical Semantics for the Rewriting Calculus

✍ Aaron Stump; Carsten Schürmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Temporal Semantics for Concurrent METATE

Temporal Semantics for Concurrent METATEM

✍ MICHAEL FISHER 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 618 KB

Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly executes a specification given in temporal logic, and communicates with other objects using asynchronous broadcast messagepassing. Thus, Concurrent MetateM represents a c

Semantic subtyping for the pi-calculus

✍ Giuseppe Castagna; Rocco De Nicola; Daniele Varacca 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 876 KB

Semantics for the sentential calculus wi

Semantics for the sentential calculus with identity

✍ Stephen L. Bloom; Roman Suszko 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 225 KB

A Quantum Game Semantics for the Measure

A Quantum Game Semantics for the Measurement Calculus

✍ Yannick Delbecque 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 320 KB