BEEM: List of All Models $B$K7G:\$5$l$F$$$k(BPromela$B%b%G%k$rMxMQ(B

Name	Description
brp	Bounded retransmission protocol
cambridge	Cambridge ring protocol
firewire_link	Layer link protocol of the IEEE-1394
iprotocol	Optimized sliding window protocol
protocols	Simple communication protocols
rether	Real-time Ethernet protocol

Name	Description
anderson	Andersons queue lock mutual exclusion algorithm
at	Alur-Taubenfeld mutual exclusion algorithm
bakery	Bakery mutual exclusion algorithm
driving_phils	Mutual exclusion of processes accessing several resources
fischer	Fisher's mutual exclusion algorithm
lamport	Lamport's fast mutual exclusion algorithm
lamport_nonatomic	Lamport mutual exclusion protocol with nonatomic operations
lann	Lann leader election algorithm for token ring
mcs	MCS queue lock mutual exclusion algorithm
peterson	Peterson's mutual exclusion protocol for N processes
phils	Dining philosophers problem
szymanski	Szymanski mutual exclusion protocol

Name	Description
extinction	Leader election algorithm for arbitrary networks
leader_filters	Leader election algorithm based on filters

Name	Description
msmie	Multiprocessor Shared-Memory Information Exchange protocol
needham	Needham-Schroeder public key authentication protocol
public_subscribe	Publish/subscribe notification protocol
reader_writer	Readers-writers problem
telephony	Telecommunication service

Name	Description
bopdp	Audio/Video Power Controller
elevator	Elevator controller
elevator2	Another elevator controller
gear	Gear Controller
production_cell	Production cell case study
sorter	Lego brick sorter
train-gate	Simple controller of a train gate

Name	Description
blocks	Blocks world
elevator_planning	Planning of elevator strategy under several constraints
krebs	Krebs cycle
schedule_world	Scheduling of machines for production

Name	Description
adding	Concurrent adding puzzle
bridge	Puzzle about men crossing a bridge
frogs	2D Toads and Frogs puzzle
hanoi	Tower of Hanoi puzzle
loyd	Sam Lloyd's fifteen puzzle
peg_solitaire	Peg solitaire
pouring	Water pouring puzzle
rushhour	A sliding block puzzle
sokoban	Sokoban sliding block puzzle