Skip to main content

6 Result(s)

within Carolyn L Talcott Remove this filter Mathematical Logic and Formal Languages Remove this filter Symbolic and Algebraic Manipulation Remove this filter

and

  1. Article

    Editorial

    Olivier Danvy, Carolyn L. Talcott in Higher-Order and Symbolic Computation (2009)

    Download PDF (91 KB)

  2. Article

    Editorial

    Olivier Danvy, Carolyn L. Talcott in Higher-Order and Symbolic Computation (2009)

    Download PDF (91 KB)

  3. Article

    Editorial

    Olivier Danvy, Carolyn L. Talcott in Higher-Order and Symbolic Computation (2009)

    Download PDF (91 KB)

  4. No Access

    Article

    Specification Diagrams for Actor Systems

    Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specifying message-passing behavior that is expres...

    Scott F. Smith, Carolyn L. Talcott in Higher-Order and Symbolic Computation (2002)

  5. No Access

    Article

    Introduction

    Olivier Danvy, Carolyn L. Talcott in Higher-Order and Symbolic Computation (1998)

  6. No Access

    Article

    Composable Semantic Models for Actor Theories

    We are interested in develo** a semantic foundation that supports specifying, composing, and reasoning about components of open distributed systems. The actor model provides the basic elements for open distr...

    Carolyn L. Talcott in Higher-Order and Symbolic Computation (1998)