On the use of MTBDDs for performability analysis and verification of stochastic systems

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.8K citations · Full text

Circuit Complexity, Computational Logic, Logic Synthesis +15

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Engineering, Concurrency Theory, Concurrency (Computer Science) +5

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.5K citations · Full text

Engineering, Verification, Computer-aided Verification +17

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Petri Net, Engineering, Stochastic System +6