Register-machine based processes
Journal of the ACM (JACM)
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Hi-index | 0.00 |