Interaction and readability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4362 LNCS, Issue , 2007, Pages 29-50

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTABILITY AND DECIDABILITY;

INTERACTIVE COMPUTATION; INTERACTIVE INTERFACE; REALIZABILITY;

INTERACTIVE COMPUTER SYSTEMS;

EID: 38149126256     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69507-3_3     Document Type: Conference Paper

References (11)

1. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement, Springer (2001)
2. Broy, M.: A Theory of System Interaction: Components, Interfaces, and Services. In: D. Goldin, S. Smolka and P. Wegner (eds): The New Paradigm. Springer Verlag, Berlin (2006) 41-96
3. Darondeau, P.: Concurrency and Computability. Proceedings of the LITP Spring School on Theoretical Computer Science on Semantics of Systems of Concurrent Processes, La Roche Posay, France, November 1990, 223-238
4. Eberbach, E., Goldin, D., Wegner, P.: Turing's Ideas and Models of Computation. Book Chapter, in: Alan Turing: Life and Legacy of a Great Thinker, Springer (2004)
5. Goldin, D., Smolka, S., Artie, P., Sonderegger, E.: Turing Machines, Transition Systems, and Interaction Information & Computation Journal, (2004)
6. Goldin, D., Wegner, P.: The Church-Turing Thesis: Breaking the Myth. Presented at CiE 2005, Amsterdam, June 2005, to be published in LNCS
7. Japaridze, G.: Computability Logic: a Formal Theory of Interaction. In: D. Goldin, S. Smolka and P. Wegner (eds) The New Paradigm. Springer Verlag, Berlin (2006) 183-226
8. Milner, R.: Elements of Interaction: Turing Award Lecture. Communications of the ACM, 36 1 (1993)78-89
9. Prasse, M., Rittgen, P.: Why Church's Thesis still Holds: Some Notes on Peter Wegner's Tracts on Interaction and Computability, Comput. J. 41 6 (1998) 357-362
10. Wegner, P.: Why Interaction is More Powerful than Algorithms. Communications of the ACM, May 1997
11. J. van Leeuwen, J. Wiedermann: A Theory of Interactive Computation. In: D. Goldin, S. Smolka, P. Wegner (eds.) The New Paradigm. Springer Verlag, Berlin (2006) 119-142