×

Found 10 Documents (Results 1–10)

The power of convex algebras. (English) Zbl 1442.68085

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 23, 18 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. (English) Zbl 1331.68148

Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 53-74 (2014).
MSC:  68Q85 18C50
PDFBibTeX XMLCite
Full Text: DOI

Brzozowski’s and up-to algorithms for must testing. (English) Zbl 1426.68180

Shan, Chung-chieh (ed.), Programming languages and systems. 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9–11, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8301, 1-16 (2013).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Final semantics for decorated traces. (English) Zbl 1342.68224

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, 73-86 (2012).
MSC:  68Q85 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software