The Coq mailing list

[n.petalidis AT talk21.com]

Hello,

I would like to ask if anyone has used Coq to
carry proofs for CSP or Timed-CSP
specifications. Do you know
of any CSP or Timed-CSP models for Coq? Or, 
is there any reason, why Coq
could not be used for such proofs? 

Thanks in advance,
Nicholaos

/\/ / /< <> /\ /> <> <

--------------------
talk21 your FREE portable and private address on the net at 
http://www.talk21.com