External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 203, Issue 3

    1 -- 3Dina Q. Goldin, Farhad Arbab. Preface
    5 -- 18Gabriel Ciobanu. Interaction in Time and Space
    19 -- 34Johan Dovland, Einar Broch Johnsen, Olaf Owe. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
    35 -- 52Roly Perera. Programming Languages For Interactive Computing
    53 -- 67Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D.. Validating for Liveness in Hidden Adversary Systems
    69 -- 94Cezara Dragoi, Gheorghe Stefanescu. AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
    95 -- 106Carolyn L. Talcott. A Formal Framework for Interactive Agents
    runs on