Dually Nondeterministic Refinement Algebra

Speaker: Kim Solin (University of Turku, Finland)

When: 10:00, Friday, 24 November 2006

Venue: 78-420

We discuss two dually nondeterministic refinement algebras. First, a dually nondeterministic refinement algebra with a negation operator is considered. The negation operator is used to express enabledness and termination operators through a useful explicit definition. As a small application, a property of action systems is proved employing the algebra. Second, a dually nondeterministic refinement algebra without the negation operator is briefly discussed.

Hospitality: Larissa Meinicke

Contact: Phil Cook (SSE seminar co-ordinator) (philc@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html