Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Four combinators for concurrency
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Observational trees as models for concurrency
Mathematical Structures in Computer Science
SAT-based verification for timed component connectors
Science of Computer Programming
Hi-index | 0.01 |