Author:
Letichevsky Alexander,Letychevskyi Olexander,Peschanenko Vladimir
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Symbolic modeling, http://en.wikipedia.org/wiki/Model_checking
2. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control 60, 109–137 (1984)
3. Letichevsky, A., Kapitonova, J., Volkov, V., Letichevsky Jr., A., Baranov, S., Kotlyarov, V., Weigert, T.: System Specification with Basic Protocols. Cybernetics and System Analysis 4, 3–21 (2005)
4. Lomuscio, A., Penczek, W., Qu, H.: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Inf. 101, 71–90 (2010)
5. Ip, C.N., Dill, D.L.: Better verification through symmetry. Methods Syst. Des. 9, 41–75 (1996)