✦ LIBER ✦

Behavioural equivalences of a probabilistic pi-calculus

✍ Scribed by WeiEn Chen, YongZhi Cao, HanPin Wang

Book ID: 120799581
Publisher: Science in China Press (SCP)
Year: 2012
Tongue: English
Weight: 287 KB
Volume: 55
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-012-4660-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A functional presentation of Pi calculus

✍ Yuxi Fu 📂 Article 📅 2001 🏛 Science in China Press (SCP) 🌐 English ⚖ 885 KB

A Translation of Beta-binders in a Prior

A Translation of Beta-binders in a Prioritized Pi-calculus

✍ Igor Cappello; Paola Quaglia 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Characterisations of testing preorders f

Characterisations of testing preorders for a finite probabilisticπ-calculus

✍ Deng, Yuxin; Tiu, Alwen 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 424 KB

Equivalence of a bridged link calculus a

Equivalence of a bridged link calculus and Kirby's calculus of links on nonsimply connected 3-manifolds

✍ Thomas Kerler 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 481 KB

We recall an extension of Kirby's calculus on nonsimply connected 3-manifolds given by Fenn and Rourke ( 1979). and the surgery calculus of bridged links from Kerler (1994), which involves only local moves. We give a short combinatorial proof that the two calculi are equivalent, and thus describe th

Probabilistic behaviour in ants: A strat

Probabilistic behaviour in ants: A strategy of errors?

✍ J.L. Deneubourg; J.M. Pasteels; J.C. Verhaeghe 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 567 KB

A probabilistic polynomial-time process

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

✍ John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 528 KB