Journal of Engineering and Applied Sciences
Year:
2018
Volume:
13
Issue:
3
Page No.
557 - 563
References
Beek, T.M.H., A. Fantechi, S. Gnesi and F. Mazzanti, 2007. An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems, July 1-2, 2007, Springer, Berlin, Germany, pp: 133-148.
Clarke, E.M., O. Grumberg and D. Peled, 1999. Model Checking. MIT Press, Cambridge, Massachusetts, Pages: 309.
Costa, D.R.C. and J.P. Courtiat, 1993. A Causality-Based Semantics for CCS. In: NAPAW 92 Workshops in Computing, Purushothaman S. and A. Zwarico (Eds.). Springer, London, England, UK., pp: 200-215.
Hansen, H., H. Virtanen and A. Valmari, 2003. Merging state-based and action-based verification. Proceedings of the Third International Conference on Application of Concurrency to System Design, June 20, 2003, IEEE, Guimaraes, Portugal, ISBN:0-7695-1887-7, pp: 150-156.
Mukund, M. and M. Nielsen, 1992. CCS, locations and asynchronous transition systems. Proceedings of the International Conference on Foundations of Software Technology and Theoretical Computer Science, December 18-20, 1992, Springer, New Delhi, India, pp: 328-341.
Mukund, M., 1992. Transition system models for concurrency. Masters Thesis, Aarhus University, Aarhus, Denmark.
Nicola, D.R. and F. Vaandrager, 1990. Action versus state based logics for transition systems. Proceedings of the Semantics on Systems of Concurrent Processes, April 23-27, 1990, Springer, Posay, France, pp: 407-419.
Roscoe, A.W., 1998. The Theory and Parctice of Concurrency. Prentice-Hall, Upper Saddle River, New Jersey, ISBN:9780136744092, Pages: 565.
Saidouni, D.E. and J.P. Courtiat, 1993. A comparison of the semantics of maximality and causality of basic LOTOS. Toulouse Cedex, Occitanie, France.
Smith, J., 2013. State/event based versus purely action or state based logics. Allen Institute, Ithaca, New York, USA.
Tapia, L. and C. George, 2008. Model checking concurrent RSL with CSPM and FDR2. Masters Thesis, The United Nation University, Shibuya, Japan.