Constraint Markov Chains

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.4K citations · Full text

Computing, Computer Science, Systems Engineering +10

Interface automata

Luca de Alfaro, Thomas A. Henzinger · 2001 · 1.2K citations

Computing, Computer Science, Formal Methods +14

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 343 citations

Computing, Computer Science, Systems Engineering +17

A sequent calculus for nominal logic

Murdoch J. Gabbay, James Cheney · 2004 · 306 citations

Computing, Computer Science, Formal Methods +10

Process algebra for performance evaluation

Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen · Theoretical Computer Science · 2002 · 245 citations

Business, Computer Science, Systems Engineering +8