Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems.

Dominique Mry

Browse the full IFM paper archive.