𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A theory of structural stationarity in theπ-Calculus

✍ Scribed by Roland Meyer

Publisher
Springer-Verlag
Year
2009
Tongue
English
Weight
875 KB
Volume
46
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Faithful π-nets.: A graphical representa
Faithful π-nets.: A graphical representation of the asynchronous π-calculus
✍ Gabriel Ciobanu; Mihai Rotaru 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 976 KB

Starting from the -nets de ned by Milner, we present a graphical formalism called faithful -nets. The aim of these nets is to provide a graphical form to the systems with dynamically changing con gurations. The faithful -nets correspond precisely to the -calculus. The paper gives two fully abstract

A note on stationarity of types over mod
A note on stationarity of types over models in simple theories
✍ Makoto Kobayashi; Akito Tsuboi 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 81 KB 👁 1 views

## Abstract We investigate stationarity of types over models in simple theories. In particular, we show that in simple theories with finite SU‐rank, any complete type over a model having Cantor‐Bendixson rank is stationary. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

MELL in the calculus of structures
MELL in the calculus of structures
✍ Lutz Straßburger 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 591 KB

The calculus of structures is a new proof theoretical formalism, like natural deduction, the sequent calculus and proof nets, for specifying logical systems syntactically. In a rule in the calculus of structures, the premise as well as the conclusion are structures, which are expressions that share