information about Branching bisimulation field
Branching bisimulation
Field Hierarchy
| Parent | |||
|---|---|---|---|
Process calculus 3,996 papers | Bisimulation 2,667 papers | ||
| Current | |||
Branching bisimulation papers | |||
| Child | |||
Stuttering equivalence 0 papers | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Process calculus 3,996 papers | Bisimulation 2,667 papers | ||
| Current | |||
Branching bisimulation papers | |||
| Child | |||
Stuttering equivalence 0 papers | |||