25 citations · 637 across the 113 of their papers we have counts for
4 papers · 2 filters
Tuplix Calculus
J. A. Bergstra, A. Ponse, M. B. van der Zwaag
We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-to…
A thread calculus with molecular dynamics
J. A. Bergstra, C. A. Middelburg
We present a theory of threads, interleaving of threads, and interaction between threads and services with features of molecular dynamics, a model of computation that bears on comp…
An interface group for process components
J. A. Bergstra, C. A. Middelburg
We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize th…
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…