An induction theorem for ring protocols of processes described with predicate/transition nets
Finna-arvio
An induction theorem for ring protocols of processes described with predicate/transition nets
Tallennettuna:
| Ulkoasu |
ii, 84, [2] sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Espoo :
Helsinki University of Technology,
1996.
|
| Sarja | Helsinki University of Technology. Digital Systems Laboratory. Series A, Research reports, ISSN 0783-5396; no. 37 |
| Luokitus | |
| Lisätiedot | Tino Pyssysalo |
| ISBN |
951-22-3066-6 nidottu |
| Hae kokoteksti | |