From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus

[1]  Bernhard K. Aichernig,et al.  Formal Methods at the Crossroads. From Panacea to Foundational Support , 2003, Lecture Notes in Computer Science.

[2]  Michael R. Hansen,et al.  Duration calculus: Logical foundations , 1997, Formal Aspects of Computing.

[3]  Burghard von Karger,et al.  A calculational approach to reactive systems , 2000, Sci. Comput. Program..

[4]  R. Wiegandt,et al.  Halbringe algebraische theorie und anwendungen in der informatik , 1996 .

[5]  Dang Van Hung,et al.  Real-Time Systems Development with Duration Calculi: An Overview , 2002, 10th Anniversary Colloquium of UNU/IIST.

[6]  Vaughan R. Pratt,et al.  Action Logic and Pure Induction , 1990, JELIA.

[7]  Bruno Dutertre,et al.  Complete proof systems for first order interval temporal logic , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[8]  Peter Jipsen.  An Overview of Residuated Kleene Algebras and Lattices , 2002 .

[9]  Burghard von Karger,et al.  Temporal algebra , 1998, Mathematical Structures in Computer Science.

[10]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[11]  Bruno Dutertre,et al.  On First Order Interval Temporal Logic , 1995, LICS 1995.

[12]  Kenneth Steiglitz,et al.  A Semiring on Convex Polygons and Zero-Sum Cycle Problems , 1990, SIAM J. Comput..

[13]  Ralf Behnke.  Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren , 1998 .

[14]  Georg Struth,et al.  Kleene algebra with domain , 2003, TOCL.

[15]  Jules Desharnais,et al.  Modal Kleene algebra and applications - a survey , 2004 .

[16]  Dexter Kozen.  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..

[17]  Dexter Kozen,et al.  On Kleene Algebras and Closed Semirings , 1990, MFCS.

[18]  Dexter Kozen,et al.  A completeness theorem for Kleene algebras and the algebra of regular events , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[19]  Catalin Dima,et al.  Real-Time Automata and the Kleene Algebra of Sets of Real Numbers , 2000, STACS.

[20]  Eric C. R. Hehner.  Formalization of Time and Space , 2005, Formal Aspects of Computing.

[21]  L. Ruan,et al.  X X X X X X X X X X X X X X X X X X X Evaluation of Tsunami Risk in the Great Lakes: Urban Planning and Outreach , 2006 .