| 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 |
| 60 | EE | J. W. de Bakker:
Fixed Points in Metric Semantics.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 59 | EE | 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: (2000) |
| 58 | EE | 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 |
|---|
| 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 |
| 52 | | 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 |
| 51 | | J. 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 |
| 47 | | J. W. de Bakker,
Erik P. de Vink:
Rendezvous with Metric Semantics.
PARLE (2) 1991: 27-57 |
| 46 | | J. 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 |
| 42 | | 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 |
| 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 |
|---|
| 25 | | J. W. de Bakker,
Joost N. Kok:
Towards a Uniform Topological Treatment of Streams and Functions on Streams.
ICALP 1985: 140-148 |
| 24 | | 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 |
| 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 |
|---|
| 20 | | 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 |
| 19 | | J. 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 |
|---|
| 12 | | J. W. de Bakker:
A Sound and Complete Proof System for Partial Program Correctness.
MFCS 1979: 1-12 |
| 1977 |
|---|
| 11 | | Krzysztof 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 |
| 9 | | J. 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 |
| 7 | | Krzysztof 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 |
|---|
| 1 | EE | J. W. de Bakker:
On AXLE.
Commun. ACM 9(4): 242 (1966) |
