Relational Structures for Interval Order Semantics of Concurrent Systems

Lecture notes in computer science, pp. 153–174

Authors 4

1. Ryszard Janicki

   McMaster University

   Affiliation as printed

   Department of Computing and Software, McMaster University, Hamilton, ON, L8S 4K1, Canada

2. Jetty Kleijn Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands

3. Maciej Koutny

   Newcastle University

   Affiliation as printed

   School of Computing, Newcastle University, 1 Science Square, Newcastle upon Tyne, NE4 5TG, UK

4. Łukasz Mikulski corresponding

   Nicolaus Copernicus University

   Affiliation as printed

   Faculty of Mathematics and Computer Science, Nicolaus Copernicus University in Toruń, Chopina 12/18, 87-100, Toruń, Poland