Combining communicating sequential processes and temporal logic
autor
Pearson, Justin
Bryans, Jeremy
vastutusandmed
Justin Pearson and Jeremy Bryans
allikas
Proceedings of the Estonian Academy of Sciences. Engineering
ajakirja aastakäik number kuu
Vol. 4
ilmumisaasta
1998
leheküljed
2, p. 130-137
märksõna
jadad
protsessid
temporaalne loogika
ISSN
1406-0175
märkused
Bibl. 4 ref
retsensioon
Kokkuvõte: Suhtlevate jadaprotsesside ja temporaalloogika kooslusest
keel
inglise