@inproceedings{PavlovicD:CLCI,
  title = "Categorical logic of concurrency and interaction {I}. Synchronous processes",
  author = "Dusko Pavlovic",
  year = "1995",
  booktitle = "Theory and Formal Methods of Computing 94",
  editor = "C.~Hankin et al.",
  pages = "105--141",
  publisher = "World Scientific",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLCI.ps",
}