Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.

Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem

Browse the full COMPSAC paper archive.