Publications

Unpublished

1. G. Di Marzo Serugendo, M. Oriol: "Let's Try the I'am Feeling Lucky Approach", 2003. (pdf)

2. G. Di Marzo Serugendo, "Refinement Patterns for System Design", Draft, December 2000.

3. G. Di Marzo Serugendo, "A Temporal Logic for CO-OPN/2", Draft. March 2000.