A process algebraic view of input/output automata
Rocco De Nicola, Roberto SegalaVolume:
138
Year:
1995
Language:
english
Pages:
33
DOI:
10.1016/0304-3975(95)92307-j
File:
PDF, 2.21 MB
english, 1995