×

Found 210 Documents (Results 1–100)

Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks. (English) Zbl 1528.68259

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 575-602 (2022).
MSC:  68Q85 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Local completeness logic on Kleene algebra with tests. (English) Zbl 1524.68098

Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 350-371 (2022).
MSC:  68N30 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kleene algebra with hypotheses. (English) Zbl 1524.68201

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 207-223 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 1528.03234

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018).
MSC:  03F05 03G25 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Completeness for identity-free Kleene lattices. (English) Zbl 1520.68055

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 18, 17 p. (2018).
MSC:  68Q45 68Q70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the positive calculus of relations with transitive closure. (English) Zbl 1487.03077

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018).
MSC:  03G15 68Q70
PDFBibTeX XMLCite
Full Text: DOI

*-continuity vs. induction: divide and conquer. (English) Zbl 1418.03111

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 493-510 (2018).
MSC:  03B47 03G25 68Q45
PDFBibTeX XMLCite

Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018).
MSC:  68Q45 03B70
PDFBibTeX XMLCite
Full Text: DOI

Towards an analysis of dynamic gossip in Netkat. (English) Zbl 1518.68034

Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 280-297 (2018).
MSC:  68N15 68N30
PDFBibTeX XMLCite
Full Text: DOI

On decidability of concurrent Kleene algebra. (English) Zbl 1442.68128

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

Reversible Kleene lattices. (English) Zbl 1441.68137

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 66, 14 p. (2017).
MSC:  68Q70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Cantor meets Scott: semantic foundations for probabilistic networks. (English) Zbl 1380.68132

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 557-571 (2017).
MSC:  68N30 68M10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Stone relation algebras. (English) Zbl 1402.03099

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 127-143 (2017).
MSC:  03G15 03B35 68T15
PDFBibTeX XMLCite
Full Text: DOI

Non-associative Kleene algebra and temporal logics. (English) Zbl 1486.68099

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 93-108 (2017).
MSC:  68Q55 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

A discrete geometric model of concurrent program execution. (English) Zbl 1483.68086

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 1-25 (2017).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

A formal exploration of nominal Kleene algebra. (English) Zbl 1398.68350

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016).
MSC:  68Q70 03G30 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Relation-algebraic verification of Prim’s minimum spanning tree algorithm. (English) Zbl 1400.68155

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 51-68 (2016).
MSC:  68R10 05C22 05C85 68T15
PDFBibTeX XMLCite
Full Text: DOI

An \(\omega\)-algebra for real-time energy problems. (English) Zbl 1366.68138

Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 394-407 (2015).
MSC:  68Q45 68Q70
PDFBibTeX XMLCite
Full Text: DOI

A fast compiler for NetKAT. (English) Zbl 1360.68352

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 328-341 (2015).
MSC:  68N20 68N19 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic algorithms for language equivalence and Kleene algebra with tests. (English) Zbl 1346.68120

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

A coalgebraic decision procedure for NetKAT. (English) Zbl 1346.68132

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 343-355 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Deciding synchronous Kleene algebra with derivatives. (English) Zbl 1465.68192

Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9223, 49-62 (2015).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\). (English) Zbl 1464.68250

Peron, Adriano (ed.) et al., Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10–12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 161-174 (2014).
MSC:  68Q85 68M25
PDFBibTeX XMLCite
Full Text: arXiv Link

KAT + B! (English) Zbl 1401.68040

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 44, 10 p. (2014).
MSC:  68N30 68Q60 68Q70
PDFBibTeX XMLCite
Full Text: DOI

On the equivalence of automata for KAT-expressions. (English) Zbl 1432.68218

Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 73-83 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A modified completeness theorem of KAT and decidability of term reducibility. (English) Zbl 1344.68151

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 83-100 (2014).
MSC:  68Q70 03B25
PDFBibTeX XMLCite
Full Text: DOI Link

Endowing concurrent Kleene algebra with communication actions. (English) Zbl 1405.68214

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 19-36 (2014).
MSC:  68Q85 68Q60 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Netkat, semantic foundations for networks. (English) Zbl 1284.68100

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 113-126 (2014).
MSC:  68N15 68Q60 68T15 68Q55 03B70
PDFBibTeX XMLCite
Full Text: DOI

Kleene algebra with products and iteration theories. (English) Zbl 1356.68148

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 415-431 (2013).
MSC:  68Q70 18C10 18C20 18D10
PDFBibTeX XMLCite
Full Text: DOI

On the average size of Glushkov and equation automata for KAT expressions. (English) Zbl 1351.68136

Gąsieniec, Leszek (ed.) et al., Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). Lecture Notes in Computer Science 8070, 72-83 (2013).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software