The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. W. de Bakker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. J. W. de Bakker
    Semantics and Termination of Nondeterministic Recursive Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:435-477 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. J. W. de Bakker
    Semantics and the Foundations of Program Proving. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:279-284 [Conf]
  11. J. W. de Bakker
    Designing Concurrency Semantics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:591-598 [Conf]
  12. J. W. de Bakker
    Least fixed points revisited. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:27-61 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. Krzysztof R. Apt, J. W. de Bakker
    Exercises in Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:1-11 [Conf]
  17. J. W. de Bakker
    Semantics of Infinite Processes Using Generalized Trees. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:240-246 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. J. W. de Bakker, Erik P. de Vink
    Rendezvous with Metric Semantics. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:27-57 [Conf]
  22. 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]
  23. J. W. de Bakker, Jeffery I. Zucker
    Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:153-158 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. J. W. de Bakker
    On AXLE. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1966, v:9, n:4, pp:242- [Journal]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002