Pearson, J., Bryans, J. - TalTech Research Portal

full record print

Combining communicating sequential processes and temporal logic

author

Pearson, Justin

Bryans, Jeremy

statement of authorship

Justin Pearson and Jeremy Bryans

source

Proceedings of the Estonian Academy of Sciences. Engineering

journal volume number month

Vol. 4

year of publication

1998

pages

2, p. 130-137

ISSN

1406-0175

notes

Bibl. 4 ref

review

Kokkuvõte: Suhtlevate jadaprotsesside ja temporaalloogika kooslusest

language

inglise

Märksõnad ja võtmesõnad

subject term

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.