✦ LIBER ✦

A Behavioural Model for Klop's Calculus

✍ Scribed by Mariangiola Dezani-Ciancaglini; Makoto Tatsuta

Book ID: 108126720
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 332 KB
Volume: 169
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.07.026

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Behavioural equivalences of a probabilis

Behavioural equivalences of a probabilistic pi-calculus

✍ WeiEn Chen, YongZhi Cao, HanPin Wang 📂 Article 📅 2012 🏛 Science in China Press (SCP) 🌐 English ⚖ 287 KB

A Behavioural Model for Correctional Dev

A Behavioural Model for Correctional Development

✍ Tommy T. Sullivan 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 744 KB

A Filter Model for Concurrent $\lambda$-

A Filter Model for Concurrent $\lambda$-Calculus

✍ Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo 📂 Article 📅 1998 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 578 KB

A Type Calculus for Executable Modelling

A Type Calculus for Executable Modelling Languages

✍ BRADLEY, GORDON H.; CLEMENCE, ROBERT D. 📂 Article 📅 1986 🏛 Oxford University Press 🌐 English ⚖ 810 KB

A Fully Abstract Model for the π-calculu

A Fully Abstract Model for the π-calculus

✍ M.P. Fiore; E. Moggi; D. Sangiorgi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 309 KB

A Tableau Calculus for Minimal Modal Mod

A Tableau Calculus for Minimal Modal Model Generation

✍ Fabio Papacchini; Renate A. Schmidt 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 322 KB