Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
Formal Methods in System Design
Decomposition in Asynchronous Circuit Design
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Basic qualitative properties of Petri nets with multi-guarded transitions
ACC'09 Proceedings of the 2009 conference on American Control Conference
| Hi-index | 0.00 |