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