A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
暂无分享,去创建一个
[1] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[2] Holger Hermanns,et al. A Stochastic Process Algebra Based Modelling Tool , 1996 .
[3] Michael Rettelbach. Probabilistic Branching in Markovian Process Algebras , 1995, Comput. J..
[4] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[5] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.