Telecharger Cours

Protocol modelling : synchronous composition of data and behaviour

using the function restr to select from E all the observations possible for symbol y. ... contains null exchange labels for all participants other than the sender ...



Download