暂无分享,去创建一个
[1] Kohei Honda,et al. Types for Dynamic Interaction , 1993 .
[2] Luca Cardelli,et al. Mobility Types for Mobile Ambients , 1999, ICALP.
[3] Barbara König. Generating Type Systems for Process Graphs , 1999, CONCUR.
[4] Martín Abadi,et al. A Calculus for Cryptographic Protocols: The spi Calculus , 1999, Inf. Comput..
[5] Luca Cardelli,et al. Types for mobile ambients , 1999, POPL '99.
[6] David N. Turner,et al. The polymorphic Pi-calculus : theory and implementation , 1996 .
[7] Atsushi Igarashi,et al. A generic type system for the Pi-calculus , 2001, POPL '01.
[8] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[9] Nobuko Yoshida,et al. Graph Types for Monadic Mobile Processes , 1996, FSTTCS.
[10] Joe B. Wells,et al. Expressiveness of Generic Process Shape Types , 2010, TGC.
[11] Joe B. Wells,et al. The Essence of Principal Typings , 2002, ICALP.
[12] Luca Cardelli,et al. Ambient Groups and Mobility Types , 2000, IFIP TCS.
[13] Flemming Nielson,et al. Control Flow Analysis for BioAmbients , 2007, BioConcur@CONCUR.
[14] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[15] Kohei Honda,et al. Types for Dyadic Interaction , 1993, CONCUR.
[16] E. Kotsovinos,et al. Second Year Report , 2006 .
[17] Joe B. Wells,et al. Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close , 2005, ESOP.
[18] ROBIN MILNER,et al. Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .
[19] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[20] Martín Abadi,et al. A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.
[21] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[22] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[23] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..