Truth valued computing processes and process calculus: a formalism for describing programming logic
author
statement of authorship
W. Kracht
journal volume number month
722
year of publication
pages
lk. 55-94: ill
ISSN
0868-4081
notes
Bibl. 12 nim
review
Kokkuvõte: Tõeväärtusega arvutusprotsess ja protsessiarvutus : formalism programmeerimisloogika kirjeldamiseks
Резюме: Крахт В. Вычислительный процесс с логическим значением и исчисление процессов : формализм для описания логики программирования, в прил. с. 3
language
inglise
Kracht, W. Truth valued computing processes and process calculus: a formalism for describing programming logic // Tallinna Tehnikaülikooli Toimetised (1990) 722, lk. 55-94: ill.