| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Sergio Maffeis Cédric Fournet , Andrew D. Gordon , Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005 : 141-156 Sergio Maffeis, Iain Phillips : On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330 (3): 501-551 (2005) Sergio Maffeis, Philippa Gardner : Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004 : 535-548 Sergio Maffeis, Iain Phillips : On the Computational Strength of Pure Ambient Calculi. Electr. Notes Theor. Comput. Sci. 96 : 29-49 (2004) Francesca Levi , Sergio Maffeis: On abstract interpretation of Mobile Ambients. Inf. Comput. 188 (2): 179-240 (2004) Philippa Gardner , Sergio Maffeis: Modelling Dynamic Web Data. DBPL 2003 : 130-146 Marco Carbone , Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10 (2): 70-98 (2003) Marco Carbone , Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68 (2): (2002) Francesca Levi , Sergio Maffeis: An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001 : 395-411 1 [ 2 ] [ 3 ] 2 [ 9 ] 3 [ 4 ] [ 7 ] 4 [ 9 ] 5 [ 1 ] [ 5 ] 6 [ 6 ] [ 8 ]  ©2005 Association for Computing Machinery |
