FAST1985-1995.bib
@INPROCEEDINGS{BK:streams,
AUTHOR = {J.W. de Bakker and J.N. Kok},
TITLE = {Towards a topological treatment of streams and functions on streams},
BOOKTITLE = {Proc. \ 12th Int. Coll. Automata, Languages and Programming (ICALP 85)},
EDITOR = {W. Brauer},
NUMBER = 194,
PUBLISHER = {Springer Verlag},
YEAR = 1985,
PAGES = {140-148},
SERIES = {Lecture Notes in Computer Science}
}
@INPROCEEDINGS{BKOMZ:tut,
AUTHOR = {J.W. de Bakker and J.N. Kok and J.-J.Ch. Meyer and E.-R. Olderog and J.I. Zucker},
TITLE = {Contrasting themes in the semantics of imperative concurency},
BOOKTITLE = {Current Trends in Concurrency},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {J.W. de Bakker and W.-P. de Roever and G. Rozenberg},
NUMBER = 224,
PUBLISHER = {Springer Verlag},
YEAR = 1986,
PAGES = {51-121}
}
@INPROCEEDINGS{Kok:semantics,
AUTHOR = {J.N. Kok},
TITLE = {Denotational Semantics of Nets with Nondeterminism},
BOOKTITLE = {European Symposium on Programming (ESOP 86)},
EDITOR = {B. Robinet and R. Wilhelm},
NUMBER = 206,
PUBLISHER = {Springer Verlag},
YEAR = 1986,
PAGES = {237-249},
SERIES = {Lecture Notes in Computer Science}
}
@INPROCEEDINGS{ABKR:opsem,
AUTHOR = {P. America and J.W. de Bakker and J.N. Kok and J.J.M.M. Rutten},
TITLE = {Operational semantics for a parallel object-oriented language},
BOOKTITLE = {Conference Record of the 13th Symposium on Principles of Programming Languages (POPL 86)},
ADDRESS = {St. Petersburg, Florida},
YEAR = 1986,
PAGES = {194-208}
}
@INPROCEEDINGS{Kok:fullabstr,
AUTHOR = {J.N. Kok},
TITLE = {A Fully Abstract Semantics for Data Flow Nets},
BOOKTITLE = {Proc.\ Parallel Architectures and Languages Europe (PARLE)},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 259,
EDITOR = {J.W. de Bakker and A.J. Nijman and P.C. Treleaven},
PUBLISHER = {Springer Verlag},
YEAR = 1987,
PAGES = {351-368}
}
@TECHREPORT{ABKR:densem2,
AUTHOR = {P. America and J.W. de Bakker and J.N. Kok and J.J.M.M. Rutten},
TITLE = {Two equivalent Branching Time Semantics for
Communicating Systems},
INSTITUTION = {Philips Research Laboratories},
ADDRESS = {Eindhoven},
YEAR = 1987
}
@INPROCEEDINGS{Kok:cp,
AUTHOR = {J.N. Kok},
TITLE = {A Compositional Semantics for Concurrent Prolog},
BOOKTITLE = {Proc.\ 5th Theoretical Aspects of Computer Science (STACS 88) },
EDITOR = {R. Cori and M. Wirsing},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 294,
PUBLISHER = {Springer Verlag},
YEAR = 1988,
PAGES = {373-388}
}
@INPROCEEDINGS{Kok:ccc,
AUTHOR = {J.N. Kok and J.J.M.M. Rutten},
TITLE = {Contractions in Comparing Concurrency Semantics},
BOOKTITLE = {Proc.\ 15th Int. Coll. Automata, Languages and Programming (ICALP 88)},
EDITOR = {{T. Lepist\"{o}} and A. Salomaa},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 317,
PUBLISHER = {Springer Verlag},
YEAR = 1988,
PAGES = {317-332}
}
@INPROCEEDINGS{BK:conpro,
AUTHOR = {J.W. de Bakker and J.N. Kok},
TITLE = { Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog},
BOOKTITLE = { Proc. Fifth Generation Computer Systems (FGCS 88)},
PAGES = {347-355},
ADDRESS = {Tokyo, Japan},
PUBLISHER = {Ohmsa ltd and Springer Verlag},
YEAR = 1988
}
@TECHREPORT{Kok:df,
AUTHOR = {J.N. Kok},
TITLE = {Data flow semantics},
INSTITUTION = {Centre for Mathematics and Computer Science},
ADDRESS = {Amsterdam},
NUMBER = {CS-R8835},
YEAR = 1988
}
@INPROCEEDINGS{JoKo:comparison,
AUTHOR = {B. Jonsson and J.N. Kok},
TITLE = {Comparing Two Fully Abstract Dataflow Models},
BOOKTITLE = {Proc.\ Parallel Architectures and Languages Europe (PARLE)},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Odijk and Rem and Syre},
NUMBER = 379,
PUBLISHER = {Springer Verlag},
PAGES = {217-235},
YEAR = 1989
}
@INPROCEEDINGS{Jo:me,
AUTHOR = {J.N. Kok},
TITLE = {An Iterative Metric Fully Abstract Semantics for
Nondeterministic Dataflow},
BOOKTITLE = {Proceedings Mathematical Foundations of Computer Science (MFCS)},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 379,
PAGES = {321-331},
EDITOR = {Kreczmar and Mirkowska},
PUBLISHER = {Springer Verlag},
YEAR = 1989
}
@PHDTHESIS{Kok:thesis,
AUTHOR = {J.N. Kok},
TITLE = {Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming},
SCHOOL = {Free University},
YEAR = 1989,
ADDRESS = {Amsterdam, The Netherlands}
}
@ARTICLE{ABKR:densem,
AUTHOR = {P. America and J.W. de Bakker and J.N. Kok and J.J.M.M. Rutten},
TITLE = {Denotational Semantics for a Parallel Object-Oriented Language},
JOURNAL = {Information and Computation},
VOLUME = 83,
NUMBER = 2,
YEAR = 1989,
PAGES = {152-206}
}
@INPROCEEDINGS{BKPR:GHC,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {Control flow versus logic:
a denotational and a declarative model for guarded horn clauses},
BOOKTITLE = {Proceedings Mathematical Foundations of Computer Sciece (MFCS 89)},
NUMBER = 379,
EDITOR = {Kreczmar and Mirkowska},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag},
PAGES = {165-176},
YEAR = 1989
}
@INPROCEEDINGS{BKPR:PARLOG,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {Semantic models for a version of PARLOG},
BOOKTITLE = {Proceedings International Conference on Logic
Programming (ICLP 89)},
YEAR = 1989,
PUBLISHER = {MIT Press},
PAGES = {621-637},
EDITOR = {G. Levi and M. Martelli}
}
@INPROCEEDINGS{KK:ffs,
AUTHOR = {P. Knijnenburg and J.N. Kok},
TITLE = {A Compositional Semantics for the Finite Failures
of a Language with Atomized Statements},
BOOKTITLE = {Proceedings Computer Science in the Netherlands
(CSN 89)},
EDITOR = {P.M.G. Apers and D. Bosman and J. van Leeuwen},
PAGES = {285-305},
YEAR = 1989
}
@INCOLLECTION{JwdB,
AUTHOR = {J.N. Kok },
TITLE = {Metric Semantics for the
Input/Output Behaviour of Sequential Programs},
BOOKTITLE = {Liber Amicorum: J.W. de Bakker, 25 jaar semantiek},
PAGES = {307-319},
PUBLISHER = {CWI},
YEAR = {1989}
}
@INPROCEEDINGS{Jo:ref,
AUTHOR = {J.N. Kok},
TITLE = {Specialization in Logic Programming: from Horn
Clause Logic to Prolog and Concurrent Prolog},
BOOKTITLE = {Proceedings REX workshop on Refinement},
EDITOR = {J.W. de Bakker and W.-P. de Roever and G. Rozenberg},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 430,
PAGES = {401-413},
YEAR = 1990,
PUBLISHER = {Springer Verlag}
}
@ARTICLE{BK:conpro2,
AUTHOR = {J.W. de Bakker and J.N. Kok},
TITLE = {Comparative Semantics for Concurrent Prolog},
JOURNAL = {Theoretical Computer Sciene},
YEAR = 1990,
NUMBER = 72,
VOLUME = 8
}
@INPROCEEDINGS{BPPR:ffs,
AUTHOR = {F.S. de Boer and J.N. Kok and
C. Palamidessi and J.J.M.M. Rutten},
TITLE = {From Failure to Succes: Comparing a denotational
and declarative Semantics for Horn Clause Logic},
BOOKTITLE = {Proceedings BCS-FACS workshop on semantics for
Concurrency},
EDITOR = {Kwiatkowska and Shields},
PUBLISHER = {Springer Verlag},
SERIES = {Workshops in Computing},
PAGES = {38-60},
YEAR = 1990
}
@TECHREPORT{jnk:nn,
AUTHOR = {J.N. Kok},
TITLE = {On Logic Programming and the Refinement Calculus: Semantics
Based Program Transformations},
INSTITUTION = {Utrecht University},
NUMBER = {RUU-CS-90-39},
YEAR = 1990
}
@ARTICLE{kr2,
AUTHOR = {J.N. Kok and J.J.M.M. Rutten},
TITLE = {Contractions in Comparing Concurrency Semantics},
JOURNAL = {Theoretical Computer Science},
YEAR = {1990},
VOLUME = {76},
NUMBER = {3},
PAGES = {179-222}
}
@INPROCEEDINGS{JoKo:hier,
AUTHOR = {B. Jonsson and J.N. Kok},
TITLE = {Towards a Complete Hierarchy of Compositional Dataflow
Models},
BOOKTITLE = {Proc.\ Theoretical Aspects of Computer Software},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Meyer and Ito},
VOLUME = {526},
PAGES = {204-226},
PUBLISHER = {Springer Verlag},
YEAR = 1991
}
@INPROCEEDINGS{BPPR:fof,
AUTHOR = {F.S. de Boer and J.N. Kok and
C. Palamidessi and J.J.M.M. Rutten},
TITLE = {The Failure of Failures in a Paradigm for Asynchronous
Communication},
BOOKTITLE = {Proceedings Concur 91},
EDITOR = {Baeten and Groote},
PUBLISHER = {Springer Verlag},
SERIES = {Lecture Notes in Computer Science},
YEAR = 1991,
NUMBER = 527,
PAGES = {111-127}
}
@INPROCEEDINGS{KK:atom,
AUTHOR = {P. Knijnenburg and J.N. Kok},
TITLE = {On the semantics of Atomized Statements: the Parallel-Choice
option},
BOOKTITLE = {Proceedings FCT 91},
EDITOR = {Budach},
PUBLISHER = {Springer Verlag},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 529,
PAGES = {297-307},
YEAR = 1991
}
@ARTICLE{partcs,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {Semantic models for concurrent logic languages},
JOURNAL = {Theoretical Computer Science},
YEAR = {1991},
VOLUME = {86},
NUMBER = {1},
PAGES = {3-34}
}
@INPROCEEDINGS{pool,
AUTHOR = {P. America and J.W. de Bakker and J.N. Kok and J.J.M.M. Rutten},
TITLE = {Denotational Semantics of a Parallel Object-Oriented Language},
BOOKTITLE = {Ten years of Concurrency Semantics},
YEAR = {1992},
EDITOR = {J.W. de Bakker and J.J.M.M. Rutten},
PAGES = {218-271},
PUBLISHER = {World Scientific}
}
@INPROCEEDINGS{ffs2,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {From failure to Succes:
Comparing a Denotational and a Declarative Semantics for Horn Clause Logic},
BOOKTITLE = {Ten years of Concurrency Semantics},
YEAR = {1992},
EDITOR = {J.W. de Bakker and J. Rutten},
PAGES = {373-396},
PUBLISHER = {World Scientific}
}
@ARTICLE{ffs3,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {From failure to Success:
comparing a denotational and a declarative semantics for Horn clause logic},
JOURNAL = {Theoretical Computer Science },
YEAR = {1992},
VOLUME = {101},
PAGES = {239-263}
}
@ARTICLE{Jo:amalfi,
AUTHOR = {J.N. Kok},
TITLE = {Traces, Histories and Streams in the Semantics of
Data Flow},
JOURNAL = {International Journal of High Speed Computing},
VOLUME = 5,
NUMBER = 2,
PUBLISHER = {World Scientific Publishing Company},
PAGES = {225-242},
NOTE = {Special Issue on Massive Parallellism: Hardware,
Programming and Applications.
Also available as report on computer science 91 of
\AA bo Akademi},
YEAR = 1993
}
@INPROCEEDINGS{dagstuhl,
AUTHOR = {J.N. Kok},
TITLE = {Current Trends in the Semantics of DataFlow},
BOOKTITLE = {Semantics of Programming Languages and Model Theory},
YEAR = {1993},
EDITOR = {M. Droste and Y. Gurevich},
SERIES = {Algebra, Logic and Applications},
VOLUME = 5,
PAGES = {245-268},
PUBLISHER = {Gordon and Breach Science Publishers}
}
@INPROCEEDINGS{rob1,
AUTHOR = {R.T. Udink and J.N. Kok},
TITLE = {On the relation between Unity properties and Sequences of States},
BOOKTITLE = {Proceedings Rex workshop on Semantics: Foundations and Applications},
YEAR = {1993},
EDITOR = {J.W de Bakker and G. Rozenberg and W.P. de Roever},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 666,
PAGES = {594-609},
PUBLISHER = {Springer Verlag}
}
@INPROCEEDINGS{blocks,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {On blocks: Locality and Asynchronous Communication},
BOOKTITLE = {Proceedings Rex workshop on Semantics: Foundations and Applications},
YEAR = {1993},
EDITOR = {J.W de Bakker and G. Rozenberg and W.P. de Roever},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 666,
PAGES = {73-91},
PUBLISHER = {Springer Verlag}
}
@INPROCEEDINGS{mar1,
AUTHOR = {M. Bonsangue and J.N. Kok},
TITLE = {Semantics, orderings and recursion in the weakest precondition calculus},
BOOKTITLE = {Proceedings Rex workshop on Semantics: Foundations and Applications},
YEAR = {1993},
EDITOR = {J.W de Bakker and G. Rozenberg and W.P. de Roever},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 666,
PAGES = {91-110},
PUBLISHER = {Springer Verlag}
}
@ARTICLE{rob2,
AUTHOR = {R.T. Udink and J.N. Kok},
TITLE = {The relation between Unity properties and sequences of states -some obserations},
JOURNAL = {Information Processing Letters},
YEAR = {1993},
PAGES = {307-311},
VOLUME = {47}
}
@INPROCEEDINGS{rob3,
AUTHOR = {R.T. Udink and J.N. Kok},
TITLE = {Two fully abstract models for Unity},
BOOKTITLE = {Proceedings Concur 93},
SERIES = {Lecture Notes in Computer Science},
NUMBER = {715},
PUBLISHER = {Springer Verlag},
YEAR = {1993},
PAGES = {339-352}
}
@INPROCEEDINGS{mar2,
AUTHOR = {M. Bonsangue and J.N. Kok},
TITLE = {Isomorphisms between Predicate and State Transformers},
BOOKTITLE = {Proceedings Mathematical Foundations of Computer Science (MFCS)},
SERIES = {Lecture Notes in Computer Science},
NUMBER = {711},
PUBLISHER = {Springer Verlag},
YEAR = {1993},
PAGES = {301-311},
NOTE = {Extended version available as RUU-CS-93-09}
}
@INPROCEEDINGS{israel,
AUTHOR = {P. Knijnenburg and J.N. Kok},
TITLE = {Divergence Models for Atomized Statements and Parallel Choice},
BOOKTITLE = {Proceedings ISTCS},
YEAR = {1993},
PUBLISHER = {IEEE Computer Society Press},
PAGES = {231-240}
}
@INPROCEEDINGS{mit,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {A paradigm for asynchronous communication and its application to concurrent constraint programming},
BOOKTITLE = {Logic programming languages: constraints, functions, and objects},
YEAR = {1993},
EDITOR = {K.R. Apt and J.W. de Bakker and J.J.M.M. Rutten},
SERIES = {Logic Programming Series},
PAGES = {82-114},
PUBLISHER = {MIT Press}
}
@INPROCEEDINGS{vancouver,
AUTHOR = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten},
TITLE = {Non-monotonic concurrent constraint programming},
BOOKTITLE = {International Logic Programming Symposium},
EDITOR = {D. Miller},
YEAR = {1993},
PUBLISHER = {MIT Press}
}
@INPROCEEDINGS{mar3,
AUTHOR = {M. Bonsangue and J.N. Kok},
TITLE = {Relating Multifunctions and Predicate Transformers through Closure Operators},
BOOKTITLE = {Proceedings Theoretical Aspects of Computer Software},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag},
EDITOR = {M. Hagiya and J.C. Mitchell},
NUMBER = {789},
YEAR = {1994},
PAGES = {822-843}
}
@ARTICLE{mar1a,
AUTHOR = {M.M. Bonsangue and J.N. Kok},
TITLE = {The Weakest Precondition Calculus: Recursion and Duality},
JOURNAL = {Formal Aspects of Computing},
VOLUME = {6},
NUMBER = {A},
PAGES = {788-800},
YEAR = 1994,
NOTE = { Full version in Formal Aspects of Computing, 6(E), pp. 71-100, December 1994}
}
@INPROCEEDINGS{rob4,
AUTHOR = {R.T. Udink and J.N. Kok and T. Herman},
TITLE = {Progress for Local Variables in UNITY},
BOOKTITLE = {IFIP working conference on Programming Concepts, Methods
and Calculi},
SERIES = {IFIP Transactions},
VOLUME = {A-56},
EDITOR = {E.-R. Olderog},
PUBLISHER = {North-Holland},
PAGES = {127-146},
YEAR = {1994}
}
@ARTICLE{mar5,
AUTHOR = {M. Bonsangue and B. Jacobs and J.N. Kok},
TITLE = {Duality beyond Sober Spaces: Topological Spaces and Observation
Frames},
JOURNAL = {Theoretical Computer Science},
VOLUME = 151,
NUMBER = 1,
PAGES = {79-124},
YEAR = 1995
}
@INPROCEEDINGS{mar6,
TITLE = {Metric Predicate Transformers: Towards a Notion
of Refinement for Concurrency},
AUTHOR = {M.M. Bonsangue and E.P. de Vink and J.N. Kok },
BOOKTITLE = {Proceedings of 6th international conference Concur 95: Concurrency theory},
ADDRESS = {Philadelphia, PA, USA},
EDITOR = {I. Lee and S.A. Smolka},
SERIES = {Lecture Notes in Computer Science},
NUMBER = 962,
PAGES = {363 - 377},
YEAR = 1995
}
@INPROCEEDINGS{mpcrob,
TITLE = {ImpUNITY: UNITY with Procedures and Local Variables},
AUTHOR = {R.T. Udink and J.N. Kok},
BOOKTITLE = {Mathematics of Program Construction '95},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer Verlag},
YEAR = {1995}
}
@INPROCEEDINGS{henk,
TITLE = {Coordination in the ImpUnity Framework},
AUTHOR = {H. Goeman and J.N. Kok and K. Sere and R. Udink},
BOOKTITLE = {Proceedings of COORDINATION},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
YEAR = 1995
}
This file has been generated by
bibtex2html 1.52