Concepedia

J.A. Bergstra

JB

126

Publications

5.8K

Citations

36

H-Index

1976

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

Eindhoven University of Technology

Leiden University

Swansea University

J.A. Bergstra is an author at University of Amsterdam specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisSemanticsProcess ControlSystems Engineering

Publications per year

1976–2022

126

Publications

126

Process algebra for synchronous communication

J.A. Bergstra, Jan Willem Klop · Information and Control · 1984 · 878 citations

Engineering, Synchronization Protocol, Concurrency Theory +6

Algebra of communicating processes with abstraction

J.A. Bergstra, Jan Willem Klop · Theoretical Computer Science · 1985 · 627 citations

Engineering, Automated Reasoning, Formal Methods +5

Conditional rewrite rules: Confluence and termination

J.A. Bergstra, Jan Willem Klop · Journal of Computer and System Sciences · 1986 · 172 citations

Regulated Rewriting, Rewriting System, Conditional Rewrite Rules +1

J.A. Bergstra, Jan Heering, Paul Klint · Journal of the ACM · 1990 · 169 citations · Full text

Axiomatic Algebraic Calculus, Algebraic Logic, Abstract Algebra +7

Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Fundamenta Informaticae · 1986 · 161 citations · Full text

Process Algebra1, Engineering, Interrupt Mechanism +15

Rows per page

1–5 of 126