An accessible verification environment for UML models of services

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

Web Services Business Process Execution Language Version 2.0

Charlton Barreto, Vaughn Bullard, Thomas Erl et al. · 2007 · 2.8K citations

Business, Information Systems, Information Technology +10

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

Computing, Computer Science, Knowledge Representation +11

Three logics for branching bisimulation

Rocco De Nicola, Frits Vaandrager · Journal of the ACM · 1995 · 293 citations · Full text

Computing, Computer Science, Formal Methods +14