* Explains process algebra and protocol specification using µ CRL, a language developed to combi
* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra a...
2016-04-27
115