MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Object mobility in a distributed object-oriented system
Object mobility in a distributed object-oriented system
Implementation and performance of Munin
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
M-structures: extending a parallel, non-strict, functional language with state
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Internetworking with TCP/IP (2nd ed.), vol. I
Internetworking with TCP/IP (2nd ed.), vol. I
Coordination languages and their significance
Communications of the ACM
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
Ports for objects in concurrent logic programs
Research directions in concurrent object-oriented programming
Distributed operating systems
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to distributed algorithms
Introduction to distributed algorithms
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Understanding CORBA (Common Object Request Broker Architecture)
Understanding CORBA (Common Object Request Broker Architecture)
BYTE
An overview of the design of Distributed Oz
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Reliable messages and connection establishment
Distributed systems (2nd Ed.)
Distributed systems (3rd ed.): concepts and design
Distributed systems (3rd ed.): concepts and design
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Distributed Algorithms
Open Distributed Systems
Parallel Machines: Parallel Machine Languages
Parallel Machines: Parallel Machine Languages
A Survey of Distributed Garbage Collection Techniques
IWMM '95 Proceedings of the International Workshop on Memory Management
Using Oz for College Timetabling
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Object-Oriented Concurrent Constraint Programming in Oz
Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu
COMPOzE---Intention-based Music Composition through Constraint Programming
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
An overview of the design of Distributed Oz
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
StratOSphere: mobile processing of distributed objects in Java
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Dynamic layout of distributed applications
ISAW '98 Proceedings of the third international workshop on Software architecture
Dynamic layout of distributed applications in FarGo
Proceedings of the 21st international conference on Software engineering
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobility and Extensibility in the StratOSphere Framework
Distributed and Parallel Databases - Special issue on mobile data management and applications
Formal Methods in System Design
Research Frontiers in Object Technology
Information Systems Frontiers
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
A Lightweight Object Migration Protocol
ICCL'98 Workshop on Internet Programming Languages
IMAGO: A Prolog-Based System for Intelligent Mobile Agents
MATA '01 Proceedings of the Third International Workshop on Mobile Agents for Telecommunication Applications
Concurrent Implementation of Structurally Synthesized Programs
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Concurrent Constraint Programming with Process Mobility
CL '00 Proceedings of the First International Conference on Computational Logic
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
High-level networking with mobile code and first order AND-continuations
Theory and Practice of Logic Programming
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
On using the CAMA framework for developing open mobile fault tolerant agent systems
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Designing interaction protocols using noughts and crosses type games
Journal of Network and Computer Applications
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
On Developing Open Mobile Fault Tolerant Agent Systems
Software Engineering for Multi-Agent Systems V
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Multi-paradigm declarative languages
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Towards a logic programming infrastructure for internet programming
Artificial intelligence today
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Convergence in language design: a case of lightning striking four times in the same place
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
| Hi-index | 0.00 |
Some of the most difficult questions to answer when designing a distributed application are related to mobility: what information to transfer between sites and when and how to transfer it. Network-transparent distribution, the property that a program's behavior is independent of how it is partitioned among sites, does not directly address these questions. Therefore we propose to extend all language entities with a network behavior that enables efficient distributed programming by giving the programmer a simple and predictable control over network communication patterns. In particular, we show how to give objects an arbitrary mobility behavior that is independent of the objects definition. In this way, the syntax and semantics of objects are the same regardless of whether they are used as stationary servers, mobile agents, or simply as caches. These ideas have been implemented in Distributed Oz, a concurrent object-oriented language that is state aware and has dataflow synchronization. We prove that the implementation of objects in Distributed Oz is network transparent. To satisfy the predictability condition, the implementation avoids forwarding chains through intermediate sites. The implementation is an extension to the publicly available DFKI Oz 2.0 system.