2 citations · 3 across the 2 of their papers we have counts for
2 papers
math.RA2008★ 2 cited
The initial meadows
Inge Bethke, Piet Rodenburg
A \emph{meadow} is a commutative ring with an inverse operator satisfying . We determine the initial algebra of the meadows of characteristic 0 and show that its word pro…
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…