| 
|
Quote: use a small vocabulary for formal methods; easier to understand though longer, more abstract, little implementation bias; e.g., Hoare's CSP
topics >
all references >
references a-b >
Topic:
formal methods and languages
Group:
formalism
Topic:
communicating sequential processes
Topic:
abstraction as part of language
Quotation Skeleton
I Thou shalt choose an appropriate notation. … Languages with small vocabularies … generally result in longer specifications, offering high levels … [p. 57] [Hoare's] CSP's only first-class entities are processes … CSP specifications can thus become lengthy, but they're … communication primitives--CSP channels may be implemented as physical … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Group: formalism (9 topics, 473 quotes)
Topic: communicating sequential processes (33 items)
Topic: abstraction as part of language (18 items)