×

Found 3 Documents (Results 1–3)

Open maps in concrete categories and branching bisimulation for prefix orders. (English) Zbl 1351.68178

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 51-66, electronic only (2015).
MSC:  68Q85 18B99
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field