7 citations · 12 across the 4 of their papers we have counts for
Showing math.RAShow all
3 papers · 1 filter
math.RA2009★ 5 cited
Partial Komori fields and imperative Komori fields
J. A. Bergstra, C. A. Middelburg
This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows.…
math.RA2009★ 5 cited
Meadow enriched ACP process algebras
J. A. Bergstra, C. A. Middelburg
We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data…
math.RA2009
Skew Meadows
J. A. Bergstra, Y. Hirshfeld, J. V. Tucker
A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fie…