Content deleted Content added
+lks |
m =Operational issues= |
||
Line 49:
*[[Side effects]]
*[[Operational semantics]]
*[[State transition
*[[Simulation preorder]]
*[[Bisimulation]]
|
+lks |
m =Operational issues= |
||
Line 49:
*[[Side effects]]
*[[Operational semantics]]
*[[State transition
*[[Simulation preorder]]
*[[Bisimulation]]
|