Publication
-
A process algebra for interworkings Book Chapter
January 2001 -
January 2001
-
Minimizing the maximum starting time on-line Tech Report
January 2001
-
Information processes in filtered experiments Tech Report
January 2001
-
January 2001
-
January 2001
-
Analysis of two competing TCP/IP connections Tech Report
January 2001
-
Typed generic traversals in $S_gamma^'$ Tech Report
January 2001