Recursive equations in higher-order process calculi
Theoretical Computer Science
Fundamenta Informaticae
Computer assisted manipulation of algebraic process specifications
ACM SIGPLAN Notices
State Space Reduction Using Partial tau-Confluence
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
State Space Reduction by Proving Confluence
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
On-the-fly state space reductions for weak equivalences
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science
Partial Order Reductions Using Compositional Confluence Detection
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Analysing the BKE-security Protocol with μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
A fault tolerance bisimulation proof for consensus
ESOP'07 Proceedings of the 16th European conference on Programming
Confluence reduction for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
On the origin of events: branching cells as stubborn sets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Sequential and distributed on-the-fly computation of weak tau-confluence
Science of Computer Programming
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Fundamenta Informaticae
| Hi-index | 5.23 |