Extending Process Algebra with an Undefined Action | 0 | 0.34 | 2022 |
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 | 0 | 0.34 | 2021 |
Parameterised Bisimulations: Some Applications. | 0 | 0.34 | 2014 |
Reducing Clocks in Timed Automata while Preserving Bisimulation. | 2 | 0.40 | 2014 |
Inferring Fences in a Concurrent Program Using SC proof of Correctness | 0 | 0.34 | 2013 |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings | 27 | 1.86 | 2006 |
Reflecting BDDs in Coq | 18 | 0.97 | 2000 |
Testing Processes for Efficiency | 1 | 0.37 | 1996 |