dblp.uni-trier.dewww.uni-trier.de

J. W. de Bakker Vis

Jaco de Bakker

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
61 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
60EEJ. W. de Bakker: Fixed Points in Metric Semantics. Electr. Notes Theor. Comput. Sci. 40: (2000)
59EEJerry 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: (2000)
58EEMarcello 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
57 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)
1994
56 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
55 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)
54 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
53 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
52EEJ. 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
51EEJ. W. de Bakker, Franck van Breugel: Topological Models for Higher Ordr Control Flow. MFPS 1993: 122-142
50 J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. New Generation Comput. 12(1): 53-90 (1993)
1992
49 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
48 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
47EEJ. W. de Bakker, Erik P. de Vink: Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57
46EEJ. W. de Bakker, Erik P. de Vink: CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28
45 J. W. de Bakker: Comparative Semantics for Flow of Control in Logic Programming without Logic Inf. Comput. 94(2): 123-179 (1991)
44 J. W. de Bakker, J. H. A. Warmerdam: Four Domains for Concurrency. Theor. Comput. Sci. 90(1): 127-149 (1991)
1990
43 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
42EEJ. 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
41 J. W. de Bakker, Joost N. Kok: Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990)
1989
40 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
39 J. W. de Bakker: Designing Concurrency Semantics. IFIP Congress 1989: 591-598
38 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
37 J. W. de Bakker, Joost N. Kok: Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355
36 J. W. de Bakker, John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988)
35 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)
34 Pierre America, Jaco de Bakker: Designing Equivalent Semantic Models for Process Creation. Theor. Comput. Sci. 60: 109-176 (1988)
1987
33 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
32 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
31 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)
30 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
29 J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg: Current Trends in Concurrency, Overviews and Tutorials Springer 1986
28 Pierre America, Jaco de Bakker: Designing Equvialent Semantic Models for Process Creation. Mathematical Models for the Semantics of Parallelism 1986: 21-80
27 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
26 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
25EEJ. W. de Bakker, Joost N. Kok: Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148
24EEJ. 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
23 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
22 J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984)
21 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
20EEJ. 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
19EEJ. W. de Bakker, Jeffery I. Zucker: Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP 1983: 52-66
18 J. W. de Bakker, Jeffery I. Zucker: Compactness in Semantics for Merge and Fair Merge. Logic of Programs 1983: 18-33
17 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
16 J. W. de Bakker, Jeffery I. Zucker: Denotational Semantics of Concurrency STOC 1982: 153-158
15 J. W. de Bakker, Jeffery I. Zucker: Processes and the Denotational Semantics of Concurrency Information and Control 54(1/2): 70-120 (1982)
1981
14 J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112
1980
13 J. W. de Bakker, Jan van Leeuwen: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings Springer 1980
1979
12EEJ. W. de Bakker: A Sound and Complete Proof System for Partial Program Correctness. MFCS 1979: 1-12
1977
11EEKrzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44
10 J. W. de Bakker: Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284
9EEJ. W. de Bakker: Semantics of Infinite Processes Using Generalized Trees. MFCS 1977: 240-246
1976
8 J. W. de Bakker: Semantics and Termination of Nondeterministic Recursive Programs. ICALP 1976: 435-477
7EEKrzysztof R. Apt, J. W. de Bakker: Exercises in Denotational Semantics. MFCS 1976: 1-11
6 J. W. de Bakker: Least Fixed Points Revisited. Theor. Comput. Sci. 2(2): 155-181 (1976)
1975
5 J. W. de Bakker: Flow of Control in the Proof Theory of Structured Programming FOCS 1975: 29-33
4 J. W. de Bakker: Least fixed points revisited. Lambda-Calculus and Computer Science Theory 1975: 27-61
3 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
2 J. W. de Bakker, Willem P. de Roever: A Calculus for Recursive Program Schemes. ICALP 1972: 167-196
1966
1EEJ. W. de Bakker: On AXLE. Commun. ACM 9(4): 242 (1966)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)