×

zbMATH — the first resource for mathematics

Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. (English) Zbl 1276.68017
Electronic Notes in Theoretical Computer Science 203, No. 3. Amsterdam: Elsevier. 106 p., electronic only (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For FinCo 2005 see [Zbl 1273.68034].
Indexed articles:
Ciobanu, Gabriel, Interaction in time and space, 5-18 [Zbl 1277.68172]
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf, Observable behavior of dynamic systems: component reasoning for concurrent objects, 19-34 [Zbl 1277.68056]
Perera, Roly, Programming languages for interactive computing, 35-52 [Zbl 1277.68045]
Mukherjee, Saikat; Srinivasa, Srinath; Chandra D, Satish, Validating for liveness in hidden adversary systems, 53-67 [Zbl 1277.68143]
Talcott, Carolyn L., A formal framework for interactive agents, 95-106 [Zbl 1277.68207]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link