×

Found 199 Documents (Results 1–100)

100
MathJax

A restricted fragment of the Lambek calculus with iteration and intersection operations. (English. Russian original) Zbl 07281963

Algebra Logic 59, No. 2, 129-146 (2020); translation from Algebra Logika 59, No. 2, 190-214 (2020).
MSC:  03B47 03G25 03F52
PDF BibTeX XML Cite
Full Text: DOI

The inner and outer algebras of unified concurrency. (English) Zbl 07168638

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 157-175 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

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

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:  68Q85
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: DOI

Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145

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 25, 16 p. (2017).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: arXiv Link

Concurrent Kleene algebra with tests. (English) Zbl 1345.68139

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, 37-48 (2014).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Chop expressions and discrete duration calculus. (English) Zbl 1256.68096

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 229-256 (2012).
MSC:  68Q45 03D05 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Partially ordered monads for monadic topologies, rough sets and Kleene algebras. (English) Zbl 1337.18003

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 67-81 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Using probabilistic Kleene algebra for protocol verification. (English) Zbl 1134.68415

Schmidt, Renate A. (ed.), Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37873-0/pbk). Lecture Notes in Computer Science 4136, 296-310 (2006).
MSC:  68Q60 68M12 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Pointer Kleene algebra. (English) Zbl 1088.68038

Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 99-111 (2004).
MSC:  68N30 03G25 03E72
PDF BibTeX XML Cite
Full Text: DOI

Greedy-like algorithms in modal Kleene algebra. (English) Zbl 1088.03055

Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 202-215 (2004).
MSC:  03G25 68W01
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification