25 citations · 637 across the 113 of their papers we have counts for
5 papers · 2 filters
Proposition Algebra with Projective Limits
J. A. Bergstra, A. Ponse
Sequential propositional logic deviates from ordinary propositional logic by taking into account that during the sequential evaluation of a propositional statement,atomic propositi…
Data linkage dynamics with shedding
J. A. Bergstra, C. A. Middelburg
We study shedding in the setting of data linkage dynamics, a simple model of computation that bears on the use of dynamic data structures in programming. Shedding is complementary…
Data linkage algebra, data linkage dynamics, and priority rewriting
J. A. Bergstra, C. A. Middelburg
We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple mod…
Thread algebra for poly-threading
J. A. Bergstra, C. A. Middelburg
Threads as considered in basic thread algebra are primarily looked upon as behaviours exhibited by sequential programs on execution. It is a fact of life that sequential programs a…
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…