Search Results - Ian A. Mason

Refine Results
  1. 1
    Reasoning about effects: from lists to cyber-physical agents

    Reasoning about effects: from lists to cyber-physical agents by Ian A. Mason, Carolyn L. Talcott

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Formal foundations of operational semantics

    Formal foundations of operational semantics by FORD, Jonathan, MASON, Ian A

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    From Operational Semantics to Domain Theory

    From Operational Semantics to Domain Theory by Mason, Ian A., Smith, Scott F., Talcott, Carolyn L.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A foundation for actor computation

    A foundation for actor computation by AGHA, GUL A., MASON, IAN A., SMITH, SCOTT F., TALCOTT, CAROLYN L.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Reasoning about effects: from lists to cyber-physical agents

    Reasoning about effects: from lists to cyber-physical agents by Mason, Ian A, Talcott, Carolyn L

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Actor languages their syntax, semantics, translation, and equivalence

    Actor languages their syntax, semantics, translation, and equivalence by Mason, Ian A., Talcott, Carolyn L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    A first order logic of effects

    A first order logic of effects by Mason, Ian A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Using typed lambda calculus to implement formal systems on a machine

    Using typed lambda calculus to implement formal systems on a machine by Avron, Arnon, Honsell, Furio, Mason, Ian A., Pollack, Robert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    References, local variables and operational reasoning

    References, local variables and operational reasoning by Mason, I.A., Talcott, C.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Computing with contexts

    Computing with contexts by MASON, I. A

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    A Variable Typed Logic of Effects

    A Variable Typed Logic of Effects by Honsell, F., Mason, I.A., Smith, S., Talcott, C.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude

    IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude by Mason, Ian A., Talcott, Carolyn L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Actors and Logical Analysis of Interactive Systems

    Actors and Logical Analysis of Interactive Systems by Mason, Ian A., Talcott, Carolyn L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Operational Techniques in PVS — A Preliminary Evaluation

    Operational Techniques in PVS — A Preliminary Evaluation by Ford, Jonathan M., Mason, Ian A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Simple Network Protocol Simulation within Maude

    Simple Network Protocol Simulation within Maude by Mason, Ian A., Talcott, Carolyn L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Memories of S-Expressions Proving Properties of Lisp-Like Programs That Destructively Alter Memory

    Memories of S-Expressions Proving Properties of Lisp-Like Programs That Destructively Alter Memory by Mason, Ian A, Talcott, Carolyn L

    Request full text
    Report
    Save to List
    Saved in:
  17. 17
    Axiomatizing operational equivalence in the presence of side effects

    Axiomatizing operational equivalence in the presence of side effects by Mason, I.A., Talcott, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Program transformations for configuring components

    Program transformations for configuring components by Mason, Ian A., Talcott, Carolyn L.

    Published in SIGPLAN notices
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    Microplastic contamination in the San Francisco Bay, California, USA

    Microplastic contamination in the San Francisco Bay, California, USA by Sutton, Rebecca, Mason, Sherri A., Stanek, Shavonne K., Willis-Norton, Ellen, Wren, Ian F., Box, Carolynn

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Land use driven change in soil pH affects microbial carbon cycling processes

    Land use driven change in soil pH affects microbial carbon cycling processes by Malik, Ashish A., Puissant, Jeremy, Buckeridge, Kate M., Goodall, Tim, Jehmlich, Nico, Chowdhury, Somak, Gweon, Hyun Soon, Peyton, Jodey M., Mason, Kelly E., van Agtmaal, Maaike, Blaud, Aimeric, Clark, Ian M., Whitaker, Jeanette, Pywell, Richard F., Ostle, Nick, Gleixner, Gerd, Griffiths, Robert I.

    Published in Nature communications
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: