4 citations · 23 across the 11 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
math.RA2007★ 4 cited
Some properties of finite meadows
Inge Bethke, Piet Rodenburg
The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite product…
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…