Combining communicating sequential processes and temporal logic
author
Pearson, Justin
Bryans, Jeremy
statement of authorship
Justin Pearson and Jeremy Bryans
journal volume number month
Vol. 4
year of publication
pages
2, p. 130-137
subject term
ISSN
1406-0175
notes
Bibl. 4 ref
review
Kokkuvõte: Suhtlevate jadaprotsesside ja temporaalloogika kooslusest
language
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.