Concepedia

A linear process-algebraic format with data for probabilistic automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer

Theoretical Computer Science · 2011 · 15 citations · 14 references

DOI

Concepts

References

14

Communication and concurrency

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

A logic for reasoning about time and reliability

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

, , +10

PROBMELA: a modeling language for communicating probabilistic processes

Christel Baier, Frank Ciesinski · 2005 · 197 citations

, , +17

Symmetry breaking in distributed networks

Alon Itai, Michael Rodeh · Information and Computation · 1990 · 191 citations

, , +11

A game-based abstraction-refinement framework for Markov decision processes

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman et al. · Formal Methods in System Design · 2010 · 99 citations

, , +11