Interaction as a Basis for Empirical Computer Science

ACM Computing Surveys (CSUR)

Volumn 27, Issue 1, 1995, Pages 45-48

  Wegner, Peter ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976857677     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/214037.214092     Document Type: Article

References (6)

1. LYNCH, N., MERRITT, M., WEIHL, W., AND FEKETE, A. 1994. Atomic Transactions, Morgan Kaufmann, Palo Alto, Calif.
2. MANNA, Z., AND PNUELI, A. 1992. The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, New York.
3. THOMAS, W. 1990. Automata on infinite objects. In Handbook of Theoretical Computer Science, Van Leeuwen (Ed.), Elsevier, Amsterdam.
4. TURING, A. 1939. Systems of logic based on ordinals. Proc. London Math Soc.
5. WEGNER, P. 1993. Trade-offs between reasoning and modeling. In Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, A. Yonezawa (Eds.), MIT Press, Cambridge, Mass.
6. WEGNER, P. 1995. The expressive power of interaction. Brown Univ., Dept. of Computer Science, Tech. Rep.