J. W. de Bakker

Jaco de Bakker, Jacobus W. de Bakker

	2000
65		Jaco de Bakker, Franck van Breugel: From Banach to Milner: metric semantics for second order communication and concurrency. Proof, Language, and Interaction 2000: 99-132
64		J. W. de Bakker: Fixed Points in Metric Semantics. Electr. Notes Theor. Comput. Sci. 40: 70-71 (2000)
63		Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electr. Notes Theor. Comput. Sci. 40: 72-99 (2000)
62		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. Theor. Comput. Sci. 240(1): 3-47 (2000)
	1999
61		Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Inform. 40(4): 335-382 (1999)
	1996
60		Jacobus W. de Bakker, Erik P. de Vink: Control flow semantics. MIT Press 1996: I-XVII, 1-564
	1994
59		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings Springer 1994
58		J. W. de Bakker, Erik P. de Vink: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Inform. 20(1/2/3): 3-34 (1994)
57		Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten: Fully Abstract Denotational Models for Nonuniform Concurrent Languages Inf. Comput. 115(1): 125-178 (1994)
	1993
56		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings Springer 1993
55		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. MFCS 1993: 252-261
54		J. W. de Bakker, Franck van Breugel: Topological Models for Higher Ordr Control Flow. MFPS 1993: 122-142
53		J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. New Generation Comput. 12(1): 53-90 (1993)
	1992
52		J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings Springer 1992
	1991
51		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings Springer 1991
50		J. W. de Bakker, Erik P. de Vink: Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57
49		J. W. de Bakker, Erik P. de Vink: CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28
48		J. W. de Bakker: Comparative Semantics for Flow of Control in Logic Programming without Logic Inf. Comput. 94(2): 123-179 (1991)
47		J. W. de Bakker, J. H. A. Warmerdam: Four Domains for Concurrency. Theor. Comput. Sci. 90(1): 127-149 (1991)
	1990
46		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings Springer 1990
45		J. W. de Bakker, J. H. A. Warmerdam: Metric Pomset Semantics for a Concurrnt Language with Recursion. Semantics of Systems of Concurrent Processes 1990: 21-49
44		J. W. de Bakker, Joost N. Kok: Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990)
	1989
43		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings Springer 1989
42		J. W. de Bakker: Designing Concurrency Semantics. IFIP Congress 1989: 591-598
41		Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten: Denotational Semantics of a Parallel Object-Oriented Language Inf. Comput. 83(2): 152-205 (1989)
	1988
40		J. W. de Bakker, Joost N. Kok: Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355
39		J. W. de Bakker, John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)
38		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. J. Comput. Syst. Sci. 36(2): 158-224 (1988)
37		Pierre America, Jaco de Bakker: Designing Equivalent Semantic Models for Process Creation. Theor. Comput. Sci. 60: 109-176 (1988)
	1987
36		J. W. de Bakker, A. J. Nijman, Philip C. Treleaven: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings Springer 1987
35		J. W. de Bakker, A. J. Nijman, Philip C. Treleaven: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings Springer 1987
34		J. W. de Bakker, John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Inf. 24(5): 491-511 (1987)
33		J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49: 87-112 (1987)
	1986
32		J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Current Trends in Concurrency, Overviews and Tutorials Springer 1986
31		Pierre America, Jaco de Bakker: Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism 1986: 21-80
30		Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten: Operational Semantics of a Parallel Object-Oriented Language. POPL 1986: 194-208
29		J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker: Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122
	1985
28		J. W. de Bakker, Joost N. Kok: Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148
27		J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985: 149-157
26		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 STOC 1985: 252-262
	1984
25		J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
24		J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34: 135-156 (1984)
	1983
23		J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983: 39-51
22		J. W. de Bakker, Jeffery I. Zucker: Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP 1983: 52-66
21		J. W. de Bakker, Jeffery I. Zucker: Compactness in Semantics for Merge and Fair Merge. Logic of Programs 1983: 18-33
20		J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983)
	1982
19		J. W. de Bakker, Jeffery I. Zucker: Denotational Semantics of Concurrency STOC 1982: 153-158
18		J. W. de Bakker, Jeffery I. Zucker: Processes and the Denotational Semantics of Concurrency Information and Control 54(1/2): 70-120 (1982)
	1981
17		J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112
	1980
16		Jacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker: Mathematical theory of program correctness. Prentice Hall 1980: I-XV, 1-505
15		J. W. de Bakker, Jan van Leeuwen: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings Springer 1980
	1979
14		J. W. de Bakker: A Sound and Complete Proof System for Partial Program Correctness. MFCS 1979: 1-12
	1977
13		Krzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44
12		J. W. de Bakker: Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284
11		J. W. de Bakker: Semantics of Infinite Processes Using Generalized Trees. MFCS 1977: 240-246
	1976
10		J. W. de Bakker: Semantics and Termination of Nondeterministic Recursive Programs. ICALP 1976: 435-477
9		Krzysztof R. Apt, J. W. de Bakker: Exercises in Denotational Semantics. MFCS 1976: 1-11
8		J. W. de Bakker: Least Fixed Points Revisited. Theor. Comput. Sci. 2(2): 155-181 (1976)
	1975
7		J. W. de Bakker: Flow of Control in the Proof Theory of Structured Programming FOCS 1975: 29-33
6		J. W. de Bakker: Least fixed points revisited. Lambda-Calculus and Computer Science Theory 1975: 27-61
5		J. W. de Bakker, Lambert G. L. T. Meertens: On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci. 11(3): 323-357 (1975)
	1972
4		J. W. de Bakker, Willem P. de Roever: A Calculus for Recursive Program Schemes. ICALP 1972: 167-196
	1971
3		J. W. de Bakker: Axiom systems for simple assignment statements. Symposium on Semantics of Algorithmic Languages 1971: 1-22
2		J. W. de Bakker: A property of linear conditionals. Symposium on Semantics of Algorithmic Languages 1971: 23-27
	1966
1		J. W. de Bakker: On AXLE. Commun. ACM 9(4): 242 (1966)

Coauthor Index

1	Pierre America	[30] [31] [37] [41]
2	Krzysztof R. Apt	[9] [13]
3	Farhad Arbab	[62]
4	Jan A. Bergstra	[23] [24]
5	Marcello M. Bonsangue	[62]
6	Franck van Breugel	[54] [55] [65]
7	Arie de Bruin	[16] [55]
8	Jerry den Hartog (J. I. den Hartog)	[61] [63]
9	Eiichi Horita	[57]
10	Cornelis Huizing (Kees Huizing)	[52]
11	Jan Willem Klop	[17] [23] [24]
12	Joost N. Kok	[28] [29] [30] [40] [41] [44]
13	Jan van Leeuwen	[15]
14	Lambert G. L. T. Meertens	[5]
15	John-Jules Ch. Meyer	[17] [20] [23] [24] [25] [26] [27] [29] [33] [34] [38] [39]
16	A. J. Nijman	[35] [36]
17	Ernst-Rüdiger Olderog	[26] [27] [29] [33] [38]
18	Willem P. de Roever (Willem-Paul de Roever)	[4] [32] [43] [46] [51] [52] [56] [59]
19	Grzegorz Rozenberg	[32] [43] [46] [51] [52] [56] [59]
20	Jan J. M. M. Rutten	[30] [41] [57] [62]
21	A. Secutella	[62]
22	Philip C. Treleaven	[35] [36]
23	Erik P. de Vink	[49] [50] [53] [58] [60] [61] [63]
24	J. H. A. Warmerdam	[45] [47]
25	Gianluigi Zavattaro	[62]
26	Jeffery I. Zucker	[18] [19] [20] [21] [22] [25] [26] [29] [38]
27	Jeffrey Zucker	[16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page