Re: Formal Underpinnings of Java (fwd)

[dyke <dyke@xxxxxxxxxxxxxxxxxx>]

The OOPSLA workshop lookslike a great opportunity (plus it is close
to home...)

Can someone do a presentation on Java & CSP?  We may try to put
together something on verification with the FDR tools.
-- 
-----------------------------------------------------------------
Dyke Stiles
dyke@xxxxxxxxxxxxxxxxxx

Real-Time and Parallel Computing Group   http://multi.ece.usu.edu
Department of Electrical and Computer Engineering
Utah State University
Logan Utah 84322-4120
Voice: (435) 797-2806; FAX: (435)797-3054; Telex: 378-9426
==================================================================