A Survey - Jules Desharnais, Bernhard M oller, and Georg Struth...  Home/Search
Context
Related
| cosc.brocku.ca/Faculty/Winte...v1n5.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.uniaugsburg.de/de/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modal Kleene algebras are Kleene algebras with forward and backward modal operators, defined via domain and codomain operations. They provide a concise and convenient algebraic framework that subsumes various popular calculi and allows treating quite a number of areas. We survey the basic theory and some prominent applications. (Update)
Active bibliography (related documents): More All
6.5: Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth (Correct)
2.2: Kleene Algebra with Domain - Desharnais, Möller, Struth (2003) (Correct)
1.9: Kleene under a Modal Demonic Star - Desharnais, Möller, Tchier (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ desharnais-modal,
author = "Survey Jules Desharnais",
title = "Modal Kleene Algebra and Applications",
url = "citeseer.ist.psu.edu/760208.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems --- Sp.. (context) - Manna, Pnueli - 1991
362 Dynamic Logic - Harel, Kozen et al. - 2000
343 Modal Logic: An Introduction (context) - Chellas - 1980
118 Boolean algebras with operators (context) - Jonsson, Tarski - 1951
97 North-Holland (context) - Freyd, Scedrov et al. - 1990
84 A completeness theorem for Kleene algebras and the algebra o.. - Kozen - 1994
83 Cambridge University Press (context) - Abrial - 1996
63 Basic Algebra (context) - Jacobson - 1985
60 ACM Transactions on Programming Languages and Systems (context) - Nelson, of et al. - 1989
51 First Steps in Modal Logic (context) - Popkorn - 1994
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1986
34 and termination (context) - Bachmair, Dershowitz et al. - 1986
33 A mechanical proof of the Church-Rosser theorem (context) - Shankar - 1988
26 More Church-Rosser proofs (context) - Nipkow - 2001
21 Relational algebraic semantics of deterministic and nondeter.. (context) - Berghammer, Zierer - 1986
18 A generalized control structure and its formal definition (context) - Parnas - 1983
13 EATCS Monographs in Computer Science (context) - Schmidt, Strohlein et al. - 1993
12 Canonical Transformations in Algebra (context) - Struth - 1998
11 The complexity of Kleene algebra with tests - Cohen, Kozen et al. - 1996
11 Dynamic algebras: Examples (context) - Pratt - 1991
10 An exact characterization of greedy structures - Helman, Moret et al. - 1993
9 Information Processing Letters - Program, Group et al. - 1995
8 Derivation of graph and pointer algorithms (context) - Moller - 1993
8 Fakultat fur Mathematik und Informatik (context) - Geser, PhD - 1990
8 Journal of Algebra (context) - Brink - 1981
7 Separation and reduction (context) - Cohen - 2000
7 A calculational approach to mathematical induction - Doornbos, Backhouse et al. - 1997
6 A relational model of programs without the restriction to Eg.. (context) - Doornbos - 1994
6 Kleene under a demonic star - Desharnais, Moller et al. - 2000
5 Programming Languages and Systems (context) - Kozen, with et al. - 1997
5 Institut fur Informatik (context) - Moller, Struth et al. - 2004
4 Dynamic algebras with tests (context) - Trnkova, Reiterman - 1987
4 An algebraic study of well-foundedness (context) - Goldblatt - 1985
4 Equational axioms of test algebra - Hollenberg - 1997
4 Max-Planck-Institut fur Informatik (context) - Struth, Technical - 1996
4 Kleene modules (context) - Ehm, Moller et al. - 2004
4 Calculating Church-Rosser proofs in Kleene algebra - Struth - 2002
4 Modal Kleene algebra and partial correctness (context) - Moller, Struth - 2004
3 Lazy Kleene algebra (context) - Moller - 2004
3 Semantics of nondeterministic and non-continuous constructs (context) - Broy, Gnatz et al. - 1979
3 Mathematical Structures in Computer Science (context) - von Karger - 1998
3 Greedy-like algorithms in modal Kleene algebra (context) - Moller, Struth - 2004
3 Termination in modal Kleene algebra - Desharnais, Moller et al. - 2004
3 Cambrigde University Press (context) - Spivey - 1988
3 Pointer Kleene algebra (context) - Ehm - 2004
3 Technical Report RC (context) - Kozen, theorem et al. - 1979
3 Dynamic algebras of programs (context) - Nemeti - 1981
2 Kleenean semimodules and linear languages (context) - Lei - 2002
1 Preliminary version: Universitat Augsburg (context) - Desharnais, Moller et al. - 2003
1 Fixed-point characterisation of winning strategies in impart.. - Backhouse, Michaelis - 2004
1 The classification of greedy algorithms (context) - Curtis - 2003
1 Diagram chasing in relational system development (context) - Ebert, Struth - 2004
1 Special Issue on Relation Algebra and Kleene Algebra (context) - Struth, rewriting et al. - 2004
1 Kleene under a modal demonic star - Desharnais, Moller et al. - 2004
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC