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