Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kok, J.N."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Unity properties and sequences of states, some observations
R.T. Udink
,
J.N. Kok
Information Processing Letters
47
(6), 1993, pp. 307-311
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
F.S. de Boer
,
J.N. Kok
,
C. Palamidessi
,
J.J.M.M. Rutten
Theoretical Computer Science
101
, 1992, pp. 239-263
Semantic models for concurrent logic languages
F.S. de Boer
,
J.J.M.M. Rutten
,
J.N. Kok
,
C. Palamidessi
Theoretical Computer Science
86
, 1991, pp. 3-33
Comparative metric semantics for concurrent prolog
J.W. de Bakker
,
J.N. Kok
Theoretical Computer Science
75
, 1990, pp. 15-43
An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)
J.N. Kok
Lecture Notes in Computer Science
379
, 1989, pp. 321-330
Control flow versus logic: A denotational and declarative model for guarded Horn clauses
F.S. de Boer
,
J.N. Kok
,
C. Palamidessi
,
J.J.M.M. Rutten
Lecture Notes in Computer Science
379
, 1989, pp. 165-176
Contractions in comparing concurrency semantics
J.N. Kok
,
J.J.M.M. Rutten
Lecture Notes in Computer Science
317
, 1988, pp. 317-332
Operational semantics of a parallel object-oriented language
P. America
,
J. de Bakker
,
J.N. Kok
,
J. Rutten
Technical Report (CS-R8515), 1985
Towards a uniform topological treatment of streams and functions on streams
J.W. de Bakker
,
J.N. Kok
Lecture Notes in Computer Science
194
, 1985, pp. 140-148