Showing 1 - 4 results of 4 for search 'Talcott, Carolyn', query time: 0.02s Refine Results
  1. 1
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
    Published 2010
    Other Authors: “…Talcott, Carolyn…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings /
    Published 2002
    Other Authors: “…Talcott, Carolyn…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Published 2015
    Other Authors: “…Talcott, Carolyn…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search