scispace - formally typeset
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

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.