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.
© University of Duisburg-Essen, Theoretical Computer Science group