BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × France
1 × Germany
1 × Israel
1 × Spain
1 × Sweden
1 × The Netherlands
1 × United Kingdom
Collaborated with:
J.W.Klop J.V.Tucker I.Bethke A.Ponse J.C.M.Baeten T.B.Dinesh J.Field J.Heering J.W.d.Bakker J.C.Meyer
Talks about:
algebra (7) process (4) program (2) system (2) specif (2) recurs (2) type (2) time (2) data (2) characteris (1)

Person: Jan A. Bergstra

DBLP DBLP: Bergstra:Jan_A=

Contributed to:

ICALP 20032003
ESOP 19961996
CSL 19931993
ALP 19881988
RTA 19871987
ICALP 19841984
ICALP 19831983
ICALP 19821982
ICALP 19811981
ICALP 19801980

Wrote 10 papers:

ICALP-2003-BergstraB #algebra #equivalence #process
Polarized Process Algebra and Program Equivalence (JAB, IB), pp. 1–21.
ESOP-1996-BergstraDFH #compilation #tool support
A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
CSL-1993-BergstraBP #algebra #combinator #process
Process Algebra with Combinators (JAB, IB, AP), pp. 36–65.
ALP-1988-Bergstra
ACP with Signals (JAB), pp. 11–20.
RTA-1987-BaetenBK #term rewriting
Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.
ICALP-1984-BergstraK #algebra #process #recursion
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
ICALP-1983-BakkerBKM #branch #linear #recursion #semantics
Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
ICALP-1982-BergstraK #algebra #data type #parametricity #specification
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
ICALP-1981-BergstraT #algebra #hoare #logic #programming
Algebraically Specified Programming Systems and Hoare’s Logic (JAB, JVT), pp. 348–362.
ICALP-1980-BergstraT #data type #equation #finite #specification
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.