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
Book ChapterDOI
Grid Protocol Specifications
Jan A. Bergstra,Alban Ponse +1 more
TL;DR: Several concise specification formats and correctness results on (external) I/O behaviour on a grid protocol are provided, and the approach is illustrated by examples.
Posted Content
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money
TL;DR: It is argued that at this stage Bitcoin is unlikely ever to evolve into a money.
Posted Content
Personal Multi-threading
TL;DR: In this paper, the view of multi-threading that emerges from thread algebra is applied to the case where a single agent maintains a hierarchical multithread as an architecture of its own activities.
Posted Content
Business mereology: imaginative definitions of insourcing and outsourcing transformations
TL;DR: In this article, the authors investigate imaginative definitions for outsourcing relations and outsourcing transformations, and make an attempt to disambiguate the terminology in that respect and characterize the general concept of sourcing which captures some representative cases.
Journal Article
Machine function based control code algebras
TL;DR: This paper develops some control code algebras from first principles for machine function dependent CCA’s used to formalize the well-known compiler fixed point, the managed execution of JIT compiled text and the concept of a verifying compiler.