default search action
FInCo@ETAPS 2007: Braga, Portugal
- Dina Q. Goldin, Farhad Arbab:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(3), Elsevier 2008 - Dina Q. Goldin, Farhad Arbab:
Preface. 1-3 - Gabriel Ciobanu:
Interaction in Time and Space. 5-18 - Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. 19-34 - Roly Perera:
Programming Languages For Interactive Computing. 35-52 - Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D.:
Validating for Liveness in Hidden Adversary Systems. 53-67 - Cezara Dragoi, Gheorghe Stefanescu:
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. 69-94 - Carolyn L. Talcott:
A Formal Framework for Interactive Agents. 95-106
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.