A compositional protocol verification using relativized bisimulation
Kim G. Larsen, Robin MilnerVolume:
99
Year:
1992
Language:
english
Pages:
29
DOI:
10.1016/0890-5401(92)90025-b
File:
PDF, 1.32 MB
english, 1992