Partial Order Models for Quantitative Extensions of LOTOS.

Ed Brinksma Joost-Pieter Katoen Rom Langerak Diego Latella

Published in: Comput. Networks (1998)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
probabilistic model