Telecharger Cours

An Implementation of Modular Structural Operational Semantics in ...

A 'PreRecord' is a possibly empty ('null') multiset of fields, formed with the union operator ' , ' which is declared to be associative, commutative, and to.



Download