• Home
  • Papers and talks
    • process algebras
    • Notes on Security and Common Criteria
    • new mexico
  • Recursion and state
Skip to content Skip past content

keeping simple

Systems software technology and business
< More China Manufacturing
Parallelism and multicore >

Process Algebra and classical automata

The long awaited process algebra paper is now finally available in PDF

Reducing Process Algebra.

  • Bookmark on Delicious
  • Digg this post
  • Recommend on Facebook
  • Share on Linkedin
  • share via Reddit
  • Tweet about it
  • Subscribe to the comments on this post
Post a comment | Trackback URI
  • Home > About This Post

    This was posted by admin on Sunday, November 1st, 2009 at 14:25. Bookmark the permalink.

    Subscribe to the RSS feed for all comments on this post.

  • Filed Under

    • software engineering
    • specification
  • Tagged

    automata automata products classical automata milner process algebra

  • Post a Comment

    Your email is never published nor shared. Required fields are marked *

    *
    *
© 2010 A WordPress Blog Simplr theme by Scott Allan Wallick
Valid XHTML & CSS RSS: Posts & Comments
  • follow:
  • RSS