Publications 1980-1990

 

7 Publications 1980-1990 (BibTeX Source)

@INCOLLECTION{ero90,
  AUTHOR = {E.-R. Olderog},
  TITLE = {From trace specifications to process terms},
  BOOKTITLE = {Stepwise Refinement of Distributed Systems: Models,
    Formalisms, Correctness},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1990,
  EDITOR = {J. W. {de Bakker} and W.-P. {de Roever} and G. Rozenberg},
  VOLUME = 430,
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {592--621}
}


@ARTICLE{ero90-acta,
  AUTHOR = {J.-J. Ch. Meyer and E.-R. Olderog},
  TITLE = {Hiding in Stream Semantics of Uniform Concurrency},
  JOURNAL = {Acta Informatica},
  YEAR = 1990,
  VOLUME = 27,
  PAGES = {381--397}
}


@INCOLLECTION{ero90-dijkstra,
  AUTHOR = {K. R. Apt and F. S. {de Boer} and E.-R. Olderog},
  TITLE = {Proving termination of parallel programs},
  BOOKTITLE = {Beauty is our Business --- A Birthday Salute to Edsger W.
Dijkstra},
  PUBLISHER = {Springer-Verlag},
  YEAR = 1990,
  EDITOR = {W. H. J. Feijen and A. J. M. {van Gasteren} and D. Gries and
J. Misra}
}


@ARTICLE{ero89,
  TITLE = {A {ProCoS} Project Description},
  AUTHOR = {D. Bj\o{}rner and C. A. R.\ Hoare and J. P. Bowen and {He
Jifeng} 
    and H. Langmaack and E.-R. Olderog and U. H. Martin and V. Stavridou and F.
Nielson 
    and H. R. Nielson and H. Barringer and D. Edwards and H. H. L\o{}vengreen
and 
    A. P. Ravn and H. S. Rischel},
  JOURNAL = {Bulletin of the European Association for 
    Theoretical Computer Science (EATCS)},
  VOLUME = 39,
  PAGES = {60--73},
  MONTH = {October},
  YEAR = 1989
}


@ARTICLE{ero88-jcss,
  AUTHOR = {J. W. {de Bakker} and J.-J. Ch. Meyer and E.-R. Olderog and
J. I. Zucker},
  TITLE = {Transition Systems, Metric Spaces and Ready Sets in the
    Semantics of Uniform Concurrency},
  JOURNAL = {Journal of Computer and System Sciences},
  YEAR = 1988,
  VOLUME = 36,
  PAGES = {158--224}
}


@ARTICLE{ero88-siam,
  AUTHOR = {J. A. Bergstra and J. W. Klop and E.-R. Olderog},
  TITLE = {Readies and Failures in the Algebra of Communicating
Processes},
  JOURNAL = {SIAM J.\ Comput.},
  YEAR = 1988,
  VOLUME = 17,
  PAGES = {1134--1177}
}


@ARTICLE{ero88-toplas,
  AUTHOR = {E.-R. Olderog and K. R. Apt},
  TITLE = {Fairness in Parallel Programs: the Transformational
Approach},
  JOURNAL = {ACM TOPLAS},
  YEAR = 1988,
  VOLUME = 10,
  PAGES = {420--455}
}


@ARTICLE{ero87,
  AUTHOR = {J. W. de Bakker and J.-J. Ch. Meyer and E.-R. Olderog},
  TITLE = {Infinite Streams and Finite Observations in the Semantics
    of Uniform Concurrence},
  JOURNAL = {Theoret.\ Comput.\ Sci.},
  YEAR = 1987,
  VOLUME = 49,
  PAGES = {87--112}
}


@INPROCEEDINGS{bko87,
  AUTHOR = {J.A. Bergstra and J.W. Klop and E.-R. Olderog},
  TITLE = {Failures without Chaos: a Process Semantics for Fair
Abstraction},
  BOOKTITLE = {Formal Description of Programming Concepts -- III},
  EDITOR = {M. Wirsing},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {1987},
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  PAGES = {77--101}
}


@ARTICLE{ero86,
  AUTHOR = {E.-R. Olderog and C. A. R. Hoare},
  TITLE = {Specification-oriented Semantics for Communicating
Processes},
  JOURNAL = {Acta Informatica},
  YEAR = 1986,
  VOLUME = 23,
  PAGES = {9--66}
}


@INPROCEEDINGS{bmoz85,
  AUTHOR = {J.W. de Bakker and J.-J. Ch. Meyer and E.-R. Olderog and J.I.
Zucker},
  TITLE = {Transition systems, infinitary languages and the semantics
    of uniform concurrency},
  BOOKTITLE = {Proc.~17th ACM Symp.~on Theory of Computing},
  YEAR = {1985},
  PUBLISHER = {ACM Press},
  PAGES = {252--262},
  NOTE = {Providence, R.I.}
}


@INPROCEEDINGS{ol84-overview,
  AUTHOR = {E.-R. Olderog},
  TITLE = {Hoare's logic for programs with procedures---what has been
achieved?},
  BOOKTITLE = {Proc. Logics of Programs},
  EDITOR = {E.M. Clarke and D. Kozen},
  VOLUME = {164},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {1984},
  PUBLISHER = {Springer},
  PAGES = {383--395}
}


@ARTICLE{ol84,
  AUTHOR = {E.-R. Olderog},
  TITLE = {Correctness of Programs with {P}ascal-like Procedures without
Global 
    Variables},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {1984},
  VOLUME = {30},
  PAGES = {49--90}
}


@INPROCEEDINGS{ol83-phd,
  AUTHOR = {E.-R. Olderog},
  TITLE = {A Characterization of {H}oare's logic for programs with
    {P}ascal-like procedures},
  BOOKTITLE = {Proc.~15th ACM Symp.~on Theory of Computing},
  YEAR = {1983},
  PUBLISHER = {ACM Press},
  MONTH = {April},
  PAGES = {320--329},
  NOTE = {Boston, Mass.}
}


@ARTICLE{ao83,
  AUTHOR = {K.R. Apt and E.-R. Olderog},
  TITLE = {Proof Rules and Transformations Dealing with Fairness},
  JOURNAL = {Science of Computer Programming},
  YEAR = {1983},
  VOLUME = {3},
  PAGES = {65--100}
}


@ARTICLE{ol83,
  AUTHOR = {E.-R. Olderog},
  TITLE = {On the Notion of Expressiveness and the Rule of Adaptation},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {1983},
  VOLUME = {24},
  PAGES = {337--347}
}


@ARTICLE{ol81-msc,
  AUTHOR = {E.-R. Olderog},
  TITLE = {Sound and Complete {H}oare-like Calculi based on Copy Rules},
  JOURNAL = {Acta Informatica},
  YEAR = {1981},
  VOLUME = {16},
  PAGES = {161--197}
}


@INPROCEEDINGS{lo80-l4,
  AUTHOR = {H. Langmaack and E.-R. Olderog},
  TITLE = {Present-day {H}oare-like systems for programming languages
    with procedures: power, limits and most likely extensions},
  BOOKTITLE = {Automata, Languages and Programming (Proc.~7th ICALP)},
  EDITOR = {J.W. de Bakker and J. van Leeuwen},
  VOLUME = {85},
  SERIES = {Lecture Notes in Computer Science},
  YEAR = {1980},
  PUBLISHER = {Springer},
  PAGES = {363--373}
}