Search the dblp DataBase
J. W. de Bakker :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
J. W. de Bakker , Joost N. Kok Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:347-355 [Conf ] J. W. de Bakker Flow of Control in the Proof Theory of Structured Programming [Citation Graph (0, 0)][DBLP ] FOCS, 1975, pp:29-33 [Conf ] Krzysztof R. Apt , J. W. de Bakker Semantics and Proof Theory of Pascal Procedures. [Citation Graph (0, 0)][DBLP ] ICALP, 1977, pp:30-44 [Conf ] J. W. de Bakker Semantics and Termination of Nondeterministic Recursive Programs. [Citation Graph (0, 0)][DBLP ] ICALP, 1976, pp:435-477 [Conf ] J. W. de Bakker , Jan A. Bergstra , Jan Willem Klop , John-Jules Ch. Meyer Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:39-51 [Conf ] J. W. de Bakker , Joost N. Kok Towards a Uniform Topological Treatment of Streams and Functions on Streams. [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:140-148 [Conf ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:149-157 [Conf ] J. W. de Bakker , Willem P. de Roever A Calculus for Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] ICALP, 1972, pp:167-196 [Conf ] J. W. de Bakker , Jeffery I. Zucker Processes and a Fair Semantics for the Ada Rendez-Vous. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:52-66 [Conf ] J. W. de Bakker Semantics and the Foundations of Program Proving. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1977, pp:279-284 [Conf ] J. W. de Bakker Designing Concurrency Semantics. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1989, pp:591-598 [Conf ] J. W. de Bakker Least fixed points revisited. [Citation Graph (0, 0)][DBLP ] Lambda-Calculus and Computer Science Theory, 1975, pp:27-61 [Conf ] J. W. de Bakker , J. H. A. Warmerdam Metric Pomset Semantics for a Concurrnt Language with Recursion. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:21-49 [Conf ] J. W. de Bakker , Jan Willem Klop , John-Jules Ch. Meyer Correctness of Programs with Function Procedures. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1981, pp:94-112 [Conf ] J. W. de Bakker , Jeffery I. Zucker Compactness in Semantics for Merge and Fair Merge. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:18-33 [Conf ] Krzysztof R. Apt , J. W. de Bakker Exercises in Denotational Semantics. [Citation Graph (0, 0)][DBLP ] MFCS, 1976, pp:1-11 [Conf ] J. W. de Bakker Semantics of Infinite Processes Using Generalized Trees. [Citation Graph (0, 0)][DBLP ] MFCS, 1977, pp:240-246 [Conf ] J. W. de Bakker A Sound and Complete Proof System for Partial Program Correctness. [Citation Graph (0, 0)][DBLP ] MFCS, 1979, pp:1-12 [Conf ] J. W. de Bakker , Franck van Breugel , Arie de Bruin Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. [Citation Graph (0, 0)][DBLP ] MFCS, 1993, pp:252-261 [Conf ] J. W. de Bakker , Franck van Breugel Topological Models for Higher Ordr Control Flow. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:122-142 [Conf ] J. W. de Bakker , Erik P. de Vink Rendezvous with Metric Semantics. [Citation Graph (0, 0)][DBLP ] PARLE (2), 1991, pp:27-57 [Conf ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog , Jeffery I. Zucker Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency [Citation Graph (0, 0)][DBLP ] STOC, 1985, pp:252-262 [Conf ] J. W. de Bakker , Jeffery I. Zucker Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP ] STOC, 1982, pp:153-158 [Conf ] J. W. de Bakker , Erik P. de Vink CCS for OO and LP. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1991, pp:1-28 [Conf ] J. W. de Bakker , John-Jules Ch. Meyer Order and Metric in the Stream Semantics of Elemental Concurrency. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1987, v:24, n:5, pp:491-511 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer Metric Semantics for Concurrency. [Citation Graph (0, 0)][DBLP ] BIT, 1988, v:28, n:3, pp:504-529 [Journal ] J. W. de Bakker On AXLE. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1966, v:9, n:4, pp:242- [Journal ] J. W. de Bakker Fixed Points in Metric Semantics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Jerry den Hartog , Erik P. de Vink , J. W. de Bakker Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] J. W. de Bakker , Erik P. de Vink Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:20, n:1/2/3, pp:3-34 [Journal ] Jerry den Hartog , Erik P. de Vink , J. W. de Bakker Full Abstractness of a Metric Semantics for Action Refinement. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:40, n:4, pp:335-382 [Journal ] J. W. de Bakker Comparative Semantics for Flow of Control in Logic Programming without Logic [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1991, v:94, n:2, pp:123-179 [Journal ] J. W. de Bakker , Jeffery I. Zucker Processes and the Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP ] Information and Control, 1982, v:54, n:1/2, pp:70-120 [Journal ] Eiichi Horita , J. W. de Bakker , Jan J. M. M. Rutten Fully Abstract Denotational Models for Nonuniform Concurrent Languages [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:115, n:1, pp:125-178 [Journal ] J. W. de Bakker , Lambert G. L. T. Meertens On the Completeness of the Inductive Assertion Method. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1975, v:11, n:3, pp:323-357 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog , Jeffery I. Zucker Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1988, v:36, n:2, pp:158-224 [Journal ] J. W. de Bakker , Erik P. de Vink Rendez-Vous with Metric Semantics. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1993, v:12, n:1, pp:53-90 [Journal ] J. W. de Bakker Least Fixed Points Revisited. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1976, v:2, n:2, pp:155-181 [Journal ] J. W. de Bakker , Jan A. Bergstra , Jan Willem Klop , John-Jules Ch. Meyer Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:34, n:, pp:135-156 [Journal ] J. W. de Bakker , Joost N. Kok Comparative Metric Semantics for Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:75, n:1&2, pp:14-43 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:87-112 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Jeffery I. Zucker On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:26, n:, pp:53-82 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Jeffery I. Zucker On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:29, n:, pp:229-230 [Journal ] J. W. de Bakker , J. H. A. Warmerdam Four Domains for Concurrency. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:90, n:1, pp:127-149 [Journal ] Marcello M. Bonsangue , Farhad Arbab , J. W. de Bakker , Jan J. M. M. Rutten , A. Secutella , Gianluigi Zavattaro A transition system semantics for the control-driven coordination language MANIFOLD. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:240, n:1, pp:3-47 [Journal ] Search in 0.003secs, Finished in 0.305secs