Open maps in concrete categories and branching bisimulation for ...
Reference
Harsh Beohar and Pieter Cuijpers. Open maps in concrete categories and branching bisimulation for prefix orders. In Mathematical Foundations of Programming Semantics, Nijmegen, May 2015. ENTCS. In press.
Suggested BibTeX entry:
@inproceedings{mfps:2015,
address = {Nijmegen},
author = {Harsh Beohar and Pieter Cuijpers},
booktitle = {Mathematical Foundations of Programming Semantics},
month = {May},
note = {In press},
publisher = {ENTCS},
title = {Open maps in concrete categories and branching bisimulation for prefix orders},
year = {2015}
}
This work is not available online here.