R
Richard Bornat
Publications - 1
Citations - 2
Richard Bornat is an academic researcher. The author has contributed to research in topics: Logic synthesis & Concurrency. The author has an hindex of 1, co-authored 1 publications receiving 2 citations.
Papers
More filters
Barrier logic: a program logic for concurrency on PowerPC
TL;DR: The authors distill rambling ideas to distill their rambolic ideas into a coherent sentence, and then use them to describe the ideas of the sentence. But they ignore the rambunctious ideas.