Joost N. Kok

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with J. W. de Bakker

> Home > Persons > Joost N. Kok

Publications

1990
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BakkerK90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BakkerK90
J. W. de Bakker, Joost N. Kok:
Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990)
1989
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AmericaBKR89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AmericaBKR89
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
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fgcs/BakkerK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgcs/BakkerK88
J. W. de Bakker, Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355
1986
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AmericaBKR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AmericaBKR86
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
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/trends86/BakkerKMOZ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/trends86/BakkerKMOZ86
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
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BakkerK85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BakkerK85
J. W. de Bakker, Joost N. Kok:
Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.