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: Bakker:J=_W=_de
Facilitated 1 volumes:
EdContributed to:
1985
198519831982197719761972
1991Wrote 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.