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
Posted Content
On the contribution of backward jumps to instruction sequence expressiveness
Jan A. Bergstra,Inge Bethke +1 more
TL;DR: In this article, the expressiveness of backward jumps in a framework of formalized sequential programming called program algebra is investigated, and it is shown that if expressiveness is measured in terms of the computability of partial Boolean functions, then backward jumps are superfluous.
Posted Content
Decision Taking versus Promise Issuing
TL;DR: An alignment is developed between the terminology of outcome oriented decision taking and a terminology for promise issuing and internalized decision taking in connection with Marc Slors' theory of self-programming.
Journal Article
A logic for signal inserted timed frames
TL;DR: A first-order predicate logic TFL of timed frames extended with signals that can distinguish frames that are not the same as sets of transitions and states and Dicky logic and CTL can be embedded in TFL.
Posted Content
Decision Taking Avoiding Agency
TL;DR: A model, or rather a preliminary qualitative description, of decision taking avoiding agency is provided for systems consisting of or controlled by a solitary natural or artificial agent, as well as for a group of agents.
Posted Content
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
Jan A. Bergstra,Mark Burgess +1 more
TL;DR: It is demonstrated a simple approach to bringing a standardized approach to semantics, in certain discourse, using Promise Theory to collect and structure publicly available information about the case of the MCAS software component for the Boeing 737 Max flight control system.