Content deleted Content added
m =Denotational semantics= lk |
→Operational issues: correct link |
||
Line 71:
*[[Simulation preorder]]
*[[Bisimulation]]
*[[
*[[Exception handling]]
*[[Garbage collection]]
|
m =Denotational semantics= lk |
→Operational issues: correct link |
||
Line 71:
*[[Simulation preorder]]
*[[Bisimulation]]
*[[
*[[Exception handling]]
*[[Garbage collection]]
|