SODA

From higher-order pi-Calculus to pi-Calculus in the presence of static operators

Vivas, José-Luis and Dam, Mads (1998) From higher-order pi-Calculus to pi-Calculus in the presence of static operators. In: Proceedings of the CONCUR'98, 8-11 Sep 1998, Nice, France.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Pages 215-228.
ID Code:3325
Deposited By:INVALID USER
Deposited On:26 Aug 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page