Kleene Algebra with Equations

Automata, Languages, and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43951-7_24 ◽

2014 ◽

pp. 280-292 ◽

Author(s):

Dexter Kozen ◽

Konstantinos Mamouras

Keyword(s):

Download Full-text

Endowing Concurrent Kleene Algebra with Communication Actions

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06251-8_2 ◽

2014 ◽

pp. 19-36 ◽

Author(s):

Jason Jaskolka ◽

Ridha Khedri ◽

Qinglei Zhang

Keyword(s):

Download Full-text

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24704-5_15 ◽

2015 ◽

pp. 241-256 ◽

Author(s):

Roland Glück ◽

Florian Benedikt Krebs

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Kleene Algebra ◽

Logic Controllers

Download Full-text

An Event Structure Model for Probabilistic Concurrent Kleene Algebra

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-45221-5_43 ◽

2013 ◽

pp. 653-667 ◽

Author(s):

Annabelle McIver ◽

Tahiry Rabehaja ◽

Georg Struth

Keyword(s):

Event Structure ◽

Structure Model ◽

Download Full-text

Position Automata for Kleene Algebra with Tests

Scientific Annals of Computer Science ◽

10.7561/sacs.2012.2.367 ◽

2012 ◽

pp. 367-394 ◽

Author(s):

Alexandra Silva

Keyword(s):

Download Full-text

Deciding Synchronous Kleene Algebra with Derivatives

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22360-5_5 ◽

2015 ◽

pp. 49-62 ◽

Author(s):

Sabine Broda ◽

Sílvia Cavadas ◽

Miguel Ferreira ◽

Nelma Moreira

Keyword(s):

Download Full-text

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02149-8_13 ◽

2018 ◽

pp. 205-224 ◽

Author(s):

Simon Foster ◽

Kangfeng Ye ◽

Ana Cavalcanti ◽

Jim Woodcock

Keyword(s):

Kleene Algebra ◽

Reactive Programs

Download Full-text

Concurrent Kleene Algebra

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_27 ◽

2009 ◽

pp. 399-414 ◽

Author(s):

C. A. R. Tony Hoare ◽

Bernhard Möller ◽

Georg Struth ◽

Ian Wehrman

Keyword(s):

Download Full-text

Towards Kleene Algebra with recursion

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023771 ◽

2005 ◽

pp. 242-256 ◽

Author(s):

Haas Leiß

Keyword(s):

Download Full-text

Pointer Kleene Algebra

Relational and Kleene-Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24771-5_9 ◽

2004 ◽

pp. 99-111 ◽

Author(s):

Thorsten Ehm

Keyword(s):

Download Full-text

Developments in Concurrent Kleene Algebra

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06251-8_1 ◽

2014 ◽

pp. 1-18 ◽

Author(s):

Tony Hoare ◽

Stephan van Staden ◽

Bernhard Möller ◽

Georg Struth ◽

Jules Villard ◽

...

Keyword(s):

Download Full-text