𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Equivalence of a bridged link calculus a
✍ 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