41 citations · 226 across the 36 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 2 cited
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy +1
We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testin…
cs.LO2011★ 18 cited
Abstract Processes of Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token inter…