Pearson, J., Bryans, J. - TalTech teadusportaal

täiskirje prindi

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

ISSN

1406-0175

märkused

Bibl. 4 ref

retsensioon

Kokkuvõte: Suhtlevate jadaprotsesside ja temporaalloogika kooslusest

keel

inglise

Märksõnad ja võtmesõnad

märksõna

jadad

protsessid

temporaalne loogika

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.