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
Continuity controlled hybrid automata
TL;DR: In this paper, the authors investigated the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al.
Journal ArticleDOI
Division by Zero: a Survey of Options
TL;DR: A survey of some options for the defining an outcome for the application of division in case the second argument equals zero is provided, which generalises the notion of a transfield.
Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers
TL;DR: Syntax for unary, binary, decimal, and hexadecimal notation is introduced and corresponding rewrite systems are designed, thereby providing means for automatic implementation.
Journal Article
Emperical semantics for object-oriented programs
Jan A. Bergstra,M.E. Loots +1 more
TL;DR: The focus is on object orientation in a sequential or single-threaded setting and with single inheritance and the object-oriented features of JavaCck will be studied in detail.