SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
Capturing conflict and confusion in CSP
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures
Fundamenta Informaticae
Hi-index | 0.00 |