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 | The Compositional Specication of Timed Systems A Tutorial Joseph SifakisAdd to Reading ListSource URL: www-verimag.imag.frDownload Document from Source WebsiteFile Size: 129,70 KBShare Document on Facebook |