25 citations · 107 across the 10 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008★ 2 cited
Towards a formalization of budgets
Jan A. Bergstra, Sanne Nolst Trenité, Mark B. van der Zwaag
We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are…
cs.LO2007★ 1 cited
A process algebra based framework for promise theory
Jan Bergstra, Inge Bethke, Mark Burgess
We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example…