SODA

Proof systems for pi-calculus logics

Dam, Mads (2002) Proof systems for pi-calculus logics. In: Logic for Concurrency and Synchronisation. Trends in Logic . Kluwer Academic Publishers, pp. 145-214. ISBN 1402012705

Full text not available from this repository.


Item Type:Book Section
ID Code:2854
Deposited By:INVALID USER
Deposited On:11 Jul 2008
Last Modified:18 Nov 2009 16:14

Repository Staff Only: item control page