F


fair allocation 192–193

fair choice 136, 138, 139, 149, 156

FairAllocator class 193, 194

FairBridge class 145

filter 237

Filter class 244, 247

filter pipeline 237–249, 273

finite state machines 11, 23

finite state models 9

Finite State Processes. See FSP

fluent 346–348, 351, 364, 365

Fluent Linear Temporal Logic (FLTL) 355–358

forall 348, 354, 357, 361

fork 206

Fowler, M. 180

Francez, N. 157

free actions 68

FSP 7, 12, 13, 21, 22, 26, 31, 32

basic form 385

composition and priority 392

description 372

identifiers 372

language specification 371–387

quick reference 367–370

semantics 389–397

Function class 262




Concurrency(c) State Models & Java Programs
Concurrency: State Models and Java Programs
ISBN: 0470093552
EAN: 2147483647
Year: 2004
Pages: 162

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net