Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
On the Category of Event Structures with Dense Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Semantic domains of timed event structures
Programming and Computing Software
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Hi-index | 0.00 |