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
A process algebra based framework for promise theory
TL;DR: In this article, a process algebra based approach is presented to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts, where promises may be used in coming to an agreement regarding a simple though practical transportation problem.
Posted Content
Signed Meadow Valued Probability Functions
Jan A. Bergstra,Alban Ponse +1 more
TL;DR: In this article, the Kolmogorov axioms for probability functions are placed in the context of signed meadows, and a completeness theorem is stated and proven for the resulting equational theory of probability calculus.
Posted Content
Static Process Algebra as Pre-arithmetical Content for School Arithmetic
TL;DR: This paper is a nopreprint in conformance with the definition given in Appendix B, and has Minstroom Research document class B (see Appendix C).