×

Found 7 Documents (Results 1–7)

A characterisation of open bisimilarity using an intuitionistic modal logic. (English) Zbl 1442.68121

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 7, 17 p. (2017).
MSC:  68Q85 03B45
PDFBibTeX XMLCite
Full Text: DOI

On the role of names in reasoning about \(\lambda\)-tree syntax specifications. (English) Zbl 1337.68076

Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 135-150 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Formalising observer theory for environment-sensitive bisimulation. (English) Zbl 1252.68251

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 180-195 (2009).
MSC:  68T15 68M12 68Q85 03B25 03B35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software