<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-12-31 04:25:31Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-12-31 04:25:31Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton |
Add to Reading List |
The Compositional Speci cation of Timed Systems A Tutorial Joseph Sifakis