×

Found 17 Documents (Results 1–17)

Combining semilattices and semimodules. (English) Zbl 07410421

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Up-to techniques for behavioural metrics via fibrations. (English) Zbl 1520.68089

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 17, 17 p. (2018).
MSC:  68Q85 18C15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Up-to techniques for weighted systems. (English) Zbl 1452.68100

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017).
MSC:  68Q45 68Q42 68Q70
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Lawvere categories as composed PROPs. (English) Zbl 1475.18028

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 11-32 (2016).
MSC:  18M85 18C10
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

Deriving syntax and axioms for quantitative regular behaviours. (English) Zbl 1254.68129

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 146-162 (2009).
MSC:  68Q45 68Q65 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software