✦ LIBER ✦

First-order reasoning for higher-order concurrency

✍ Scribed by Vasileios Koutavas; Matthew Hennessy

Book ID: 116364447
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 965 KB
Volume: 38
Category: Article
ISSN: 1477-8424
DOI: 10.1016/j.cl.2012.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First–order Semantics for Higher–order P

First–order Semantics for Higher–order Processes

✍ Michael Baldamus 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 210 KB

Higher-order communications for concurre

Higher-order communications for concurrent programming

✍ Alberto Pettorossi; Andrzej Skowron 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 359 KB

In a recursive-equations language is introduced. Its operational semantics is specified by means of computing agents which communicate and exchange messages. Those communications are, so to speak, zero-order, in the sense that the exchanged messages are values of a data structure, possibly defined

Termination in higher-order concurrent c

Termination in higher-order concurrent calculi

✍ Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 885 KB

Reasoning with first order nondeterminis

Reasoning with first order nondeterministic specifications

✍ Beata Konikowska; Marcin Białasik 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 177 KB

Higher-Order Proof Construction Based on

Higher-Order Proof Construction Based on First-Order Narrowing

✍ Fredrik Lindblad 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 296 KB

Reasoning about taxonomies in first-orde

Reasoning about taxonomies in first-order logic

✍ David Thau; Bertram Ludäscher 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 841 KB