L

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