Re: Formal Underpinnings of Java (fwd)

From: dyke (dyke_at_email.domain.hidden)
Date: 1998-06-08 21:46:21

• Next message: Paddy Nixon: "JavaSpaces..."
• Previous message: Adrian Lawrence: "Formal Underpinnings of Java (fwd)"
• Maybe in reply to: Adrian Lawrence: "Formal Underpinnings of Java (fwd)"

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_at_stiles.ece.usu.edu
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
==================================================================

• Next message: Paddy Nixon: "JavaSpaces..."
• Previous message: Adrian Lawrence: "Formal Underpinnings of Java (fwd)"
• Maybe in reply to: Adrian Lawrence: "Formal Underpinnings of Java (fwd)"

Original text of this message