Verification of an audio control protocol within real time process algebra
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
Located actions in process algebra with timing
Fundamenta Informaticae
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Located Actions in Process Algebra with Timing
Fundamenta Informaticae
Process Algebra with Nonstandard Timing
Fundamenta Informaticae
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Hi-index | 0.00 |