×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [petrinets slide]
Home >
petrinets slide
Models of Concurrency Manna, Pnueli. 2 Chapter 1 1.1 The Generic Model 1.2 Model 1: Transition Diagrams 1.3 Model 2: Shared-Variables Text 1.4 Semantics.
222 views
SDL: A Protocol Specification Language Anandi Giridharan Department of Electrical Communication Engineering Indian Institute of Science Bangalore – 560012,
218 views