Sciweavers

APLAS
2007
ACM
15 years 1 months ago
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
Alwen Tiu
63
Voted
CAV
2009
Springer
123views Hardware» more  CAV 2009»
15 years 10 months ago
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...