label sets 190
Labeled Transition System. See LTS
Labeled Transition System Analyzer. See LTSA
Lachover, H. 31, 180
Lamport, L. 156
Lampson, B.W. 104
Le Metayer, D. 274
Lea, D. 10, 32
Lehman, D. 120
Leveson, N. 9
lightweight processes 24, 31
Linda tuple space 251–254, 273, 274
in 251
out 251
rd 251
Linear Temporal Logic (LTL) 156, 345, 349, 351, 365
Lister, A. 104
livelock 243
liveness property 123–154
liveness, single-lane bridge problem 140–146
lock 72–74, 99, 100
Logical Properties 345–364
LOTOS 32
low priority operator 139
LTS 12, 13, 31, 32, 389–390
composition 391–392
priority 392
LTSA 5, 7, 40, 41, 45, 47, 50, 55, 60
LTSA Animator 13, 14, 16, 18, 22
Lynch, N. 31