![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.