[plt-scheme] redex model of pi calculus?

I'm trying to model a pi-calculus-like system in redex, and running  
into a couple of issues that would be solved by any model for the pi  
calculus in redex. Before I try solving them all myself (parallel  
composition, lifting nu's) I thought I'd ask: are there existing  
models of the pi calculus written using redex?

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20091027/da7ea3b3/attachment.p7s>