Old Web
English
Sign In
Acemap
>
Paper
>
Verification of semantic correctness of protocols using the property of coherence
Verification of semantic correctness of protocols using the property of coherence
1990
Yu. G. Karpov
A. V. Borshchev
A. A. Meshcherskii
Keywords:
Theoretical computer science
Computer science
Correctness
Coherence (physics)
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]