information about Hennessy–Milner logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Process calculus 4,006 papers | Bisimulation 2,678 papers | ||
| Current | |||
Hennessy–Milner logic papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Process calculus 4,006 papers | Bisimulation 2,678 papers | ||
| Current | |||
Hennessy–Milner logic papers | |||
| Child | |||