✦ LIBER ✦

A pure labeled transition semantics for the applied pi calculus

✍ Scribed by Xiaojuan Cai

Book ID: 108152946
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 616 KB
Volume: 180
Category: Article
ISSN: 0020-0255
DOI: 10.1016/j.ins.2010.07.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fully abstract semantics for causality

A fully abstract semantics for causality in the(pi)-calculus

✍ Michele Boreale; Davide Sangiorgi 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 461 KB

A Labelled Deductive System for Relation

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.