Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007

MaRDI QIDQ383083zbMATH OpenFDO

Authors

Publication date 25 November 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/203/3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
• On the executability of interactive computation
• scientific article; zbMATH DE number 6680986
• A theory of interactive computation
• Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007
• scientific article; zbMATH DE number 6456210
• scientific article; zbMATH DE number 6838736
• Computability and realizability for interactive computations
• scientific article; zbMATH DE number 6456211
• Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14--16, 2015

This page was built for publication: Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383083)