[plt-scheme] redex model of pi calculus?

From: John Clements (clements at brinckerhoff.org)
Date: Tue Oct 27 14:36:23 EDT 2009

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?


-------------- 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>

Posted on the users mailing list.