Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
enzymatic rule, flownomial expressions, enzymatic axiom, network algebra model, matricial presentation, coalgebraic theory, branching constants, simulation via functions, concurrent regular expressions, demonic operators, coalgebraic theories, demonic relation operators, network algebra approach, networks modulo graph isomorphism, using isomorphic representations, semiringal categories, angelic case, successful computation sequences, commuting lemmas, demonic case, nondeterministic networks, multiplicative feedback, piped processes, uniform divisible, flowchart schemes
Key Phrases - Capitalized Phrases (CAPs):
(learn more)
Alternating Bit Protocol, Basic Network Algebra, Prove Theorem, Soundness of Floyd-Hoare
New!
Books on Related Topics |
Concordance
|
Text Stats
Browse Sample Pages:
Front Cover |
Table of Contents |
First Pages |
Index |
Back Cover |
Surprise Me!