A Sound and Complete Proof System for Probabilistic Processes. Testing Semantics for a Probabilistic- Timed Process Algebra. Mallorca Mallorca and the Balearic Islands are renowed for their location in the middle of the western Mediterranean sea. Mallorca offers a wide variety of activities for the attendees. Visiting the medieval part of Palma de Mallorca, and the scenic northern coast is recommended.
Gastronomy is famous also.
The workshop will take place at Hotel Cala Vi as at the sea shore and close to Palma de Mallorca. For use only by General Systems Development. Once you have read the enclosed information, please send us this FORM at your earliest convenience. March 31, 1997. After this deadline we cannot guarantee accommodation at the Hotel Cala Vi as.