×

Found 10 Documents (Results 1–10)

100
MathJax

A dynamic logic with traces and coinduction. (English) Zbl 1471.03063

De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 307-322 (2015).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI

A system-level game semantics. (English) Zbl 1342.68196

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 191-211 (2012).
MSC:  68Q55 68N15 91A80
PDF BibTeX XML Cite
Full Text: DOI arXiv

Full abstraction at package boundaries of object-oriented languages. (English) Zbl 1349.68047

Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 28-43 (2011).
MSC:  68N15 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Classification

all top 3

Software