Zhou, Chunlai; Ying, Mingsheng Approximating Markov processes through filtration. (English) Zbl 1257.68111 Theor. Comput. Sci. 446, 75-97 (2012). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 68Q85 68Q87 03B48 60J05 × Cite Format Result Cite Review PDF Full Text: DOI
Motallebi, Hassan; Azgomi, Mohammad Abdollahi Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets. (English) Zbl 1262.68139 Theor. Comput. Sci. 446, 48-74 (2012). MSC: 68Q85 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Khadim, U.; Cuijpers, P. J. L. Repairing time-determinism in the process algebra for hybrid systems. (English) Zbl 1282.68174 Theor. Comput. Sci. 446, 20-47 (2012). Reviewer: Antti Valmari (Tampere) MSC: 68Q85 68Q10 68Q55 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Cao, Zining More on bisimulations for higher order \(\pi\)-calculus. (English) Zbl 1277.68170 Theor. Comput. Sci. 446, 1-19 (2012). MSC: 68Q85 03B40 × Cite Format Result Cite Review PDF Full Text: DOI