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
Journal ArticleDOI
I/O-computable data structures
Jan A. Bergstra,J. J. Ch. Meyer +1 more
TL;DR: It is proved that for each data structure A ther e is a computable data structure B that is I/O-equivalent to A, which gives a post facto justification of the restrictio n to computable algebras that was made in 11] and l2].
On sequential composition, action prefixes and process prefix
TL;DR: In this paper, the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS is illustrated, and both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP.
Journal ArticleDOI
Timed tuplix calculus and the Wesseling and van den Bergh equation
TL;DR: In this article, an algebraic framework for the description and analysis of financial behaviours, that is, behaviours that consist of transferring certain amounts of money at planned times, is presented.
Journal Article
Maurer Computers with Single-Thread Control
TL;DR: In this article, the authors investigate basic issues concerning stored threads and their execution, building upon Maurer's model for computers and the thread algebra of Bergstra et al. The work is intended as a preparation for the development of a formal approach to model micro-architectures and to verify their correctness and anticipated speed-up results.
Book ChapterDOI
Real time process algebra with infinitesimals
Jos C. M. Baeten,Jan A. Bergstra +1 more
TL;DR: In this paper, a model of the real-time process algebra based on nonstandard reals is considered and a theory in which the urgent actions of ATP, TiCCS, TeCCS can be modeled.