Skip to main content
SpringerLink
Log in

A Framework for Kleene Algebra with an Embedded Structure

  • Conference paper
Relational Methods in Computer Science (RelMiCS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3929))

Included in the following conference series:

  • 294 Accesses

Abstract

This paper proposes a framework for Kleene algebras with embedded structures that enables different kinds of Kleene algebras such as a Kleene algebra with tests and a Kleene algebra with relations to be handled uniformly. This framework guarantees the existence of free algebra if the embedded structures satisfy certain conditions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM (1999)

    Google Scholar 

  2. Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)

    MATH  Google Scholar 

  3. Desharnais, J.: Kleene Algebras with Relations. In: Berghammer, R., Möller, B. (eds.) RelMiCS 2003. LNCS, vol. 3051, pp. 8–20. Springer, Heidelberg (2004) (invited talk)

    Chapter  Google Scholar 

  4. Desharnais, J., Möller, B., Struth, G.: Kleene Algebra with Domain, Technical Report 2003-07, Institut für Informatik, Universität Augsburg (2003)

    Google Scholar 

  5. Furusawa, H.: A Free Construction of Kleene Algebra with Tests. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 129–141. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Furusawa, H., Kinoshita, Y.: Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs. IPSJ Transactions on Programming 44 (SIG 4 (PRO 17)), 47–53 (2003)

    Google Scholar 

  7. Kinoshita, Y., Furusawa, H.: Essentially Algebraic Structure for Kleene Algebra with Tests. Computer Software 20(2), 47–53 (2003) (in Japanese)

    Google Scholar 

  8. Kozen, D.: On Kleene Algebras and Closed Semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol. 452, pp. 26–47. Springer, Heidelberg (1990)

    Google Scholar 

  9. Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation 110, 366–390 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kozen, D.: Kleene Algebra with Tests. ACM Transactions on Programming Languages and Systems 19(3), 427–443 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kozen, D., Smith, F.: Kleene Algebra with Tests: Completeness and Decidability. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol. 1258, pp. 244–259. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  12. Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  13. Mulvey, C., Pelletier, J.: A Quantisation of the Calculus of Relations. In: Proc. of Category Theory 1991. CMS Conference Proceedings, vol. 13, pp. 345–360. Amer. Math. Soc. (1992)

    Google Scholar 

  14. Takeuti, I.: Kleene Category as a Model of Calculation. In: Proc. 2nd Symposium on Science and Technology for System Verification, Programming Science Group Technical Report, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), PS-2005-017, pp. 151–160 (October 2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Center for Verification and Semantics, AIST, 3-11-46 Nakoji, Amagasaki, Hyogo, 661-0974, Japan

    Hitoshi Furusawa

Authors
  1. Hitoshi Furusawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Antigonish, NS, Canada

    Wendy MacCaull

  2. Department of Computer Science, Brock University, L2S 3A1, St. Catharines, Ontario, Canada

    Michael Winter

  3. Computer Science Department, Brock University, L2S 3A1, St. Catharines, Ontario, Canada

    Ivo Düntsch

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Furusawa, H. (2006). A Framework for Kleene Algebra with an Embedded Structure. In: MacCaull, W., Winter, M., Düntsch, I. (eds) Relational Methods in Computer Science. RelMiCS 2005. Lecture Notes in Computer Science, vol 3929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11734673_8

Download citation

  • DOI: https://doi.org/10.1007/11734673_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-33339-5

  • Online ISBN: 978-3-540-33340-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation