共 50 条
- [43] MARKOVIAN ASSIGNMENT DECISION-PROCESS RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1992, 26 (04): : 421 - 428
- [44] Reversed processes in Markovian process algebra MODELLING AND SIMULATION 2001, 2001, : 783 - 790
- [45] Differential Bisimulation for a Markovian Process Algebra MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 293 - 306