Documents associated with William E. Riddle

Abstracts of the papers, 15.07.1974(?)
"A comparison of Two Schemes for Specifying the Behavior of Systems with Concurrency" and "Well-Formed Representation of Programs".

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016