 |
Book sections
Analyzing Large Network Dynamics with Process Hitting
Abstract : In this chapter, we introduce the Process Hitting framework, which provides the methodology of constructing the most permissive dynamics and then using successive refinements to fine tune the model. We present static analysis methods designed to identify fixed points or answer successive reachability questions, and introduce the stochastic semantics of Process Hitting too.
Cited literature [28 references]
https://hal.archives-ouvertes.fr/hal-01060490
Contributor : Loïc Paulevé <>
Submitted on : Wednesday, September 3, 2014 - 4:45:28 PM
Last modification on : Tuesday, April 21, 2020 - 1:10:36 AM
Document(s) archivé(s) le : Thursday, December 4, 2014 - 11:27:10 AM
Contributor : Loïc Paulevé <>
Submitted on : Wednesday, September 3, 2014 - 4:45:28 PM
Last modification on : Tuesday, April 21, 2020 - 1:10:36 AM
Document(s) archivé(s) le : Thursday, December 4, 2014 - 11:27:10 AM
File
PCFMR14-chapterLMBS.pdf
Files produced by the author(s)
