Authors: A.S. Sorokin
Title of the article: Paradigms of programming and algebra of process modeling
Year: 2011, Issue: 4, Pages: 77-82
Branch of knowledge: Mathematical simulation
Index UDK: 519. 876.5
DOI: -
Abstract: The simulation method of process modeling with application of concepts strong bisimilarity and a strong bisimulation is offered. Relation’s between strong bisimilarity and the main Markov's process as one of methods of simplification of model are used.
Key words: congruence Markov’s process strong bisimilarity strong bisimulation
This work is licensed under a Creative Commons Attribution 4.0 License.
Sites:
About the journal:
For authors:
Search: