Modelling Concurrent Systems: Protocol Veri in CRL. course lecture notes (2000)

by J F Groote, W Fokkink, M Reiniers