[Home]History of AmbientCalculiOnline

HomePage | Recent Changes | Preferences
Revision 41 . . December 2, 2001 2:56 am by (logged).184.30.xxx
Revision 40 . . November 27, 2001 11:20 pm by (logged).184.14.xxx
Revision 39 . . November 27, 2001 10:02 pm by (logged).184.14.xxx
Revision 38 . . November 14, 2001 7:16 pm by (logged).184.30.xxx
  
Difference (from prior major revision) (no other diffs)

Changed: 52c52
*[MH01] New! Massimo Merro and Matthew Hennessy. Bisimulation Congruences in Safe Ambients. COGS Technical report 2001:05. http://www.cogs.susx.ac.uk/reports.html. An extended abstract will appear in the proceedings of POPL'02.
*[MH01] New! Massimo Merro and Matthew Hennessy. Bisimulation Congruences in Safe Ambients. COGS Technical report 2001:05. http://www.cogs.susx.ac.uk/reports.html. An extended abstract (http://www.cogs.susx.ac.uk/users/massimo/sap-short.ps.gz) will appear in the proceedings of POPL'02.
HomePage | Recent Changes | Preferences
Search: