default search action

combined dblp search
author search
venue search
publication search

ask others

FInCo@ETAPS 2007: Braga, Portugal

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/etaps/2007finco
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/2007finco
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoldinA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoldinA08
Dina Q. Goldin, Farhad Arbab:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Ciobanu08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Ciobanu08
Gabriel Ciobanu:
Interaction in Time and Space. 5-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DovlandJO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DovlandJO08
Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. 19-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Perera08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Perera08
Roly Perera:
Programming Languages For Interactive Computing. 35-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MukherjeeSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MukherjeeSD08
Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D.:
Validating for Liveness in Hidden Adversary Systems. 53-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DragoiS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DragoiS08
Cezara Dragoi, Gheorghe Stefanescu:
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. 69-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Talcott08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Talcott08
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.