Evaluating real-time software specification languages
Computer Standards & Interfaces
Bisimulation on speed: worst-case efficiency
Information and Computation
Action abstraction in timed process algebra: the case for an untimed silent step
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Verification of timed erlang programs using mcerlang
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
Hi-index | 0.00 |