✦ LIBER ✦

Inference systems for observation equivalences in the π-calculus

✍ Scribed by Huimin Lin

Publisher: SP Science China Press
Year: 1999
Tongue: English
Weight: 712 KB
Volume: 42
Category: Article
ISSN: 1006-9321
DOI: 10.1007/bf02917004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the decidability of process equivalen

On the decidability of process equivalences for the π-calculus

✍ Mads Dam 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

We present general results for showing process equivalences applied to the finite control fragment of the z-calculus decidable. Firstly, a Finite Reachability Theorem states that up to finite name spaces and up to a static normalisation procedure, the set of reachable agent expressions is finite. Se

On the equivalence of second order syste

On the equivalence of second order systems occurring in the calculus of variations

✍ William B. Gordon 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 467 KB

A methodology for inferring the causes o

A methodology for inferring the causes of observed impairments in aquatic ecosystems

✍ Glenn W. Suter II; Susan B. Norton; Susan M. Cormier 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 103 KB

Second-order sufficiency criteria and lo

Second-order sufficiency criteria and local convexity for equivalent problems in the calculus of variations

✍ Philip D Loewen 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 540 KB

A Comparison of Variational and Markov C

A Comparison of Variational and Markov Chain Monte Carlo Methods for Inference in Partially Observed Stochastic Dynamic Systems

✍ Yuan Shen; Cedric Archambeau; Dan Cornford; Manfred Opper; John Shawe-Taylor; Re 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 416 KB

Free-electron model for hyperpolarizabil

Free-electron model for hyperpolarizability of the π-electron system in benzene

✍ Purnendranath Sen; Sadhan Basu 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 301 KB