information about Process calculus field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 61.9M papers | Programming language 7.6M papers | Theoretical computer science 609k papers | |
Current | |||
Process calculus 3,996 papers | |||
Child | |||
Ambient calculus 0 papers | PEPA 0 papers | Join-calculus 0 papers | Hennessy–Milner logic 0 papers |
Temporal Process Language 0 papers | Pattern calculus 0 papers | Alternating bit protocol 0 papers | Brane calculi 0 papers |
Branching bisimulation 0 papers |
Trends
Notes
History