Ulisses Ferreira  Home/Search
Context
Related
| ufba.br/~ulisses/ferreira_mc.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ufba.br/~ulisse...erreiras_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Mobile agents and the Internet have brought new ideas in computer science in the last few years. For example, from the moment that we are conceiving the idea of moving computation from one place to another, an e ectively general notion of computation transcends mathematics and meets the phys1 ical world. This itself requires non-mathematical discussions in the theoretical foundations of computer science. In this article, we provide a di erent semantics of computation and present a... (Update)
Active bibliography (related documents): More All
0.5: What Is Computation? - Copeland (Correct)
0.5: uu for Programming Languages - Ferreira (2000) (Correct)
0.5: Infinitary Initial Algebra Specifications For Stream Algebras - Tucker, Zucker (Correct)
Similar documents based on text: More All
0.3: Anti-Intuitionism and Paraconsistency - Brunner, Carnielli (2003) (Correct)
0.3: The BCG Membership Service Performance Analysis - Greve, Macedo (Correct)
0.2: Uma Experiência No Ensino De Computação.. - Buck (1997) (Correct)
BibTeX entry: (Update)
@misc{ ferreira-mobility,
author = "Ulisses Ferreira",
title = "Mobility and Computation",
url = "citeseer.ist.psu.edu/472917.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998 ACM
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
259 Elements of the theory of computation (context) - Lewis, Papadimitriou - 1997 ACM
229 Foundations for Programming Languages (context) - Mitchell - 1996
224 Semantics of Programming Languages: structures and technique.. (context) - Gunter - 1992
205 Mobile agents: Are they a good idea - Chess, Harrison et al. - 1997
201 Telescript Technology: the Foundation for the Electronic Mar.. (context) - White - 1994
153 The Java Language Specication (context) - Gosling, Joy et al. - 1996
120 IEEE Transactions on Software Engineering (context) - Fuggetta, Picco et al. - 1998
108 Introduction to the Theory of Computation (context) - Sipser - 1997 ACM
94 Seal: A framework for secure mobile computation - Vitek, Castagna - 1998
84 Computation and Reasoning: a type theory for computer scienc.. (context) - Luo - 1994
79 Readings in Agents (context) - Huhns, Singh - 1997 ACM
72 The Formal Semantics of Programming Languages: An Introducti.. (context) - Winskel - 1997
72 The Formal Semantics of Programming Languages: an introducti.. (context) - Winskel - 1997
69 Handbook of Logic in Computer Science (context) - Abramsky, Gabbay et al. - 1992 ACM
65 A note on distributed computing - Waldo, Wyant et al. - 1997
63 Semantics with Applications: a formal introduction (context) - Nielson, Nielson - 1993
60 Distributed computing using autonomous objects - Bic, Fukuda et al. - 1996 ACM DBLP
54 Analyzing mobile code languages - Cugola, Ghezzi et al. - 1997 ACM DBLP
50 Introduction to Mathematical Logic (context) - Church
45 Location-independent communication for mobile agents: a two-.. - Sewell, Wojciechowski et al. - 1998 DBLP
30 Distinguished Dissertations in Computer Science (context) - Gordon, Input - 1994
28 Mobile computation - Cardelli - 1997 ACM DBLP
24 Formal Syntax and Semantics of Programming Languages: a labo.. (context) - Slonneger, Kurtz - 1995
15 Foundations of Behavioral Research (context) - Kerlinger, Lee - 2000
12 Models of Computation and Formal Languages (context) - Taylor - 1998
10 Foundations of Software Science and Computational Structures (context) - Cardelli, Gordon - 1998
7 Advances in Linear Logic (context) - Girrard, Lafont et al. - 1995 ACM
5 Global computation - Cardelli - 1996 ACM DBLP
4 Oxford Readings in Philosophy (context) - Hart, Philosophy et al. - 1996
4 Modern Algebra: an introduction (context) - Durbin - 2000
4 Also available as Digital Systems Research Center Research R.. (context) - Cardelli, with et al. - 1995
4 Euclidean and Non-Euclidean Geometries: development and hist.. (context) - Greenberg - 1994
3 Cambridge University Press (context) - Sainsbury - 1995
2 in Databases, Data Mining and Temporal Reasoning (context) - Bettini, Jajodia et al. - 2000
2 Logic and Reality: essays on the legacy of Arthur Prior (context) - Copeland - 1996
2 Handbook of Logic in Computer Science (context) - Meinke, Tucker - 1992
2 Introduction of Mathematics (context) - Kleene - 1952
1 Paradigms for global computation - an overview of the hippo .. - Connor, Sibson - 1998
1 McGraw-Hill Companies (context) - Krauskopt, Beiser et al. - 1997
1 Mathematics and Mind (context) - George - 1994
1 Printed and Bound in Great Britain by Antony Rowe Ltd (context) - Langford, Ethics et al. - 2000
1 Proofs and Types (context) - Girrard, Taylor et al. - 1993 ACM
1 Recursive Function and Logic (context) - Yasuhara - 1971
1 Georg Cantor: his mathematics and philosophy (context) - Dauben - 1979
1 chapter On Close World Data Bases (context) - Reiter, Data - 1978
1 Logic and Reality: essays on the legacy of Arthur Prior (context) - Rodriguez, Anger - 1996
1 McGraw-Hill Book Company (context) - Davis, Unsolvability et al. - 1958
1 International Thomson Computer Press (context) - Kirkerud, Semantics - 1997
1 Mobility management and roaming with mobile agents (context) - Thanh, Steensen et al. - 2000 ACM DBLP
1 Philosophy of Mathematics (context) - Benacerraf, Putnam - 1964
1 Undergraduate texts in Mathematics (context) - Hartshorne, Enclid - 1997
1 Oxford University Press (context) - Epstein - 1994
1 chapter Computable Functions and Semicomputable Sets on Many.. (context) - Tucker, Zucker et al. - 2000
1 International Congress of Logic (context) - Sachkov
1 Chiron: a framework for mobile agent systems (context) - Ferreira
1 Mobile agents | smart messages (context) - Hurst, Cunningham et al. - 1997 ACM
1 Language features for global computers (context) - Ferreira - 2000
1 uu for programming languages - Ferreira - 2000 DBLP
1 Man and His Symbols (context) - Jung - 1964
1 Machines and Thought: The Legacy of Alan Turing (context) - Fields - 1996
1 translated with an introduction by Robert S Hartman and Wolf.. (context) - Kant, Bobbs-Merrill - 1974
Documents on the same site (http://www.ufba.br/~ulisses/ferreiras_papers.html):
uu for Programming Languages - Ferreira (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC