[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[moca] Paper announcement



I would like to announce the following paper:

---

		     Deciding Framed Bisimilarity

			     Hans Hüttel


The spi-calculus, proposed by Abadi and Gordon, is a process calculus
based on the pi-calculus and is intended for reasoning about the
behaviour of cryptographic protocols. We consider the finite-control
fragment of the spi-calculus, showing it to be Turing-powerful (a result
which is joint work with Josva Kleist, Uwe Nestmann, and Björn
Victor.) Next, we restrict our attention to finite (non-recursive)
spi-calculus. Here, we show that framed bisimilarity, an equivalence
relation proposed by Abadi and Gordon, showing that it is decidable for
this fragment.

---

The paper can be found at

http://www.cs.auc.dk/~hans/Publications/spi-bisim.pdf



---

Hans Hüttel                        | email: hans@xxxxxxxxx
BRICS, Dept. of Computer Science   | WWW: http://www.cs.auc.dk/~hans/
Aalborg University                 | tel.: (+45) 96 35 88 88
Fredrik Bajersvej 7E               | fax: (+45) 98 15 98 89
9220 Aalborg Ø, DENMARK            | Fight spam!  http://www.cauce.org


  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html