BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Greece
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:
J.I.Zucker J.C.Meyer E.Olderog J.N.Kok K.R.Apt W.P.d.Roever E.P.d.Vink J.A.Bergstra J.W.Klop
Talks about:
semant (7) uniform (3) concurr (3) stream (3) recurs (3) program (2) time (2) nondeterminist (1) infinitari (1) treatment (1)

Person: J. W. de Bakker

DBLP DBLP: Bakker:J=_W=_de

Facilitated 1 volumes:

ICALP 1980Ed

Contributed to:

ICALP 19851985
STOC 19851985
ICALP 19831983
STOC 19821982
ICALP 19771977
ICALP 19761976
ICALP 19721972
TAPSOFT, Vol.2: ADC 19911991

Wrote 10 papers:

ICALP-1985-BakkerK #towards
Towards a Uniform Topological Treatment of Streams and Functions on Streams (JWdB, JNK), pp. 140–148.
ICALP-1985-BakkerMO #concurrent #finite #infinity #semantics
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.
STOC-1985-BakkerMOZ #concurrent #semantics
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency (JWdB, JJCM, ERO, JIZ), pp. 252–262.
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-1983-BakkerZ #ada #process #semantics
Processes and a Fair Semantics for the Ada Rendez-Vous (JWdB, JIZ), pp. 52–66.
STOC-1982-DeBakkerZ #concurrent #semantics
Denotational Semantics of Concurrency (JWdB, JIZ), pp. 153–158.
ICALP-1977-AptB #pascal #proving #semantics
Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.
ICALP-1976-Bakker #nondeterminism #recursion #semantics #source code #termination
Semantics and Termination of Nondeterministic Recursive Programs (JWdB), pp. 435–477.
ICALP-1972-BakkerR #calculus #recursion
A Calculus for Recursive Program Schemes (JWdB, WPdR), pp. 167–196.
ADC-1991-BakkerV #object-oriented
CCS for OO and LP (JWdB, EPdV), pp. 1–28.

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.