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
subject term
jadad
protsessid
temporaalne loogika
ISSN
1406-0175
notes
Bibl. 4 ref
review
Kokkuvõte: Suhtlevate jadaprotsesside ja temporaalloogika kooslusest
language
inglise