Old Web
English
Sign In
Acemap
>
Field
>
action refinement
action refinement
[ "Bisimulation", "Semantics", "Process calculus", "Concurrency", "Semantics (computer science)" ]
Parent Topic
Child Topic
No Parent Topic