M

Magee, J.N. 60, 156, 274

master 202

Master class 202–204

master-slave program 202–203

modeling 203–205

maximal progress 282–284, 286, 292, 316

May, D. 233

menu 382–383

Mesa 104

message passing 209–232.

See also asynchronous message passing;

rendezvous;

synchronous message passing

Message Sequence Charts (MSC) 180

Milner, R. 32, 60, 207

minimization 50, 59, 76

minimized LTS 240, 241

Misra, J. 120

model-based design 159–178

modeling 4–7, 38–52, 87–89

processes 11–23

semaphores 86–93

Modula 104

modularity 161

monitor method 231–232

monitor wait queue 85

monitors 79–102, 130, 144, 150, 151

entering a monitor 84

exiting a monitor 84

invariants 101–102

nested 97–101

MsgCarPark class 217, 218

MsgGate class 216, 217

multi-party synchronization 44

multi-threaded programs 52–59

MutexLoop class 92

mutual exclusion 46, 63–76, 88, 89, 91, 123, 126

modeling 73–76

property 126

Myhrhaug, B. 104, 208

MyListener class 271, 272