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
Algebraically specified programming systems and Hoare's logic : (preprint)
Jan A. Bergstra,John V. Tucker +1 more
Book ChapterDOI
Thread algebra and risk assessment services
TL;DR: Using this decidability result, an alternative to Cohen’s impossibility result on virus detection is discussed and some results on risk assessment services are proved.
Posted Content
Equations for formally real meadows
TL;DR: In this article, the authors considered the signatures of signed meadows and signed fields and gave two complete axiomatizations of the equational theories of the real numbers with respect to these signatures.
Book ChapterDOI
Asynchronous Communication in Real Space Process Algebra
TL;DR: A version of classical real space process algebra is given in which messages travel with constant speed through a three-dimensional medium and a state operator is used to describe asynchronous message transfer.
Real time process algebra
TL;DR: ACPp as mentioned in this paper is a generalisation of ACP that incorporates real timed actions, and it can be used as a specification language for real-time systems, which is a special case of the ACP specification language.