Properties of parallel composition of PA

8 views
Skip to first unread message

Xiaochen Tang

unread,
Feb 15, 2022, 6:44:50 AMFeb 15
to PRISM model checker
Greetings PRISM community!
I have recently started to work with probabilistic automata, I wander is there a theorem like this: for any PA M1,M2, the parallel composition is M1||M2, 捕获3.PNG  holds.
If this theorem already exists, from which article can I find it?

Thank you in advance.
Xiaochen.
Reply all
Reply to author
Forward
0 new messages