J
Jan A. Bergstra
Researcher at University of Amsterdam
Publications - 635
Citations - 13668
Jan A. Bergstra is an academic researcher from University of Amsterdam. The author has contributed to research in topics: Process calculus & Algebra of Communicating Processes. The author has an hindex of 55, co-authored 616 publications receiving 13436 citations. Previous affiliations of Jan A. Bergstra include Centrum Wiskunde & Informatica & Utrecht University.
Papers
More filters
Maurer computers for pipelined instruction processing
TL;DR: In this article, the authors model micro-architectures with non-pipelined instruction processing and pipelined instructions using Maurer machines, basic thread algebra and program algebra.
Book
Promise Theory: Principles and Applications
Jan A. Bergstra,Mark Burgess +1 more
TL;DR: Promise Theory bridges the worlds of semantics and dynamics to describe interactions between autonomous agencies within a system, providing a semi-formal language for modelling intent and its outcome.
Splitting bisimulations and retrospective conditions
TL;DR: In this paper, an extension of ACP with conditional expressions is introduced, in which the conditions are taken from a free Boolean algebra over a set of generators, and also its main models, called full splitting bisimilation models.
Recursive assertions are not enough, or are they?
TL;DR: In this article, the authors study the problem of determining whether a set of recursive assertions containing true and false assertions is complete in the sense that all intermediate assertions can be chosen from A.
Journal ArticleDOI
Kleen's three-valued logic and process algebra
TL;DR: A combination of Kleene’s three-valued logic and ACP process algebra via the guarded commandconstruct is proposed and an operational semantics in SOS-style, and a completeness result is presented.