Concurrency: State Models and Java Programs

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