Chapter 1 1.1 The Generic Model 1.2 Model 1: Transition Diagrams
{"Image DocumentName": "Chapter The Generic Model 1.2 Model 1: Transition Diagrams", "Image ImageDescription": "1.3 Model 2: Shared-Variables Text. 1.4 Semantics of Shared-Variables Text. 1.5 Structural Relations Between Statements. 1.6 Behavioral Equivalence. 1.7 Grouped Statements. 1.8 Semaphore Statements. 1.9 Region Statements Model 3: Message-Passing Text Model 4: Petri-Nets.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}