Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
BYTE - Lecture notes in computer science Vol. 174
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Concurrent constraint programming
Concurrent constraint programming
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Reducing cross domain call overhead using batched futures
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Developing Java beans
ACM Transactions on Computer Systems (TOCS)
System support for partition-aware network applications
ACM SIGOPS Operating Systems Review
EROS: a fast capability system
Proceedings of the seventeenth ACM symposium on Operating systems principles
Communicating sequential processes
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Practical byzantine fault tolerance and proactive recovery
ACM Transactions on Computer Systems (TOCS)
Capability-Based Financial Instruments
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
The Bancomat problem: an example of resource allocation in a partitionable asynchronous system
Theoretical Computer Science - Special issue: Distributed computing
ACM SIGOPS Operating Systems Review
PROGRAMMING SEMANTICS FOR MULTIPROGRAMMED COMPUTATIONS
PROGRAMMING SEMANTICS FOR MULTIPROGRAMMED COMPUTATIONS
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
ALGOL Bulletin
Threads cannot be implemented as a library
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A practical formal model for safety analysis in capability-based systems
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
The structure of authority: why security is not a separable concern
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
The oz-e project: design guidelines for a secure multiparadigm programming language
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Mirages: behavioral intercession in a mirror-based architecture
Proceedings of the 2007 symposium on Dynamic languages
Linguistic symbiosis between actors and threads
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Towards a domain-specific aspect language for leasing in mobile ad hoc networks
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Experimenting with Language Support for Proximity in Ambient-Oriented Programming
Engineering Environment-Mediated Multi-Agent Systems
Reactive queries in mobile ad hoc networks
Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing
Beernet: RMI-free peer-to-peer networks
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Towards an actor-based concurrent machine model
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
CatchAndRetry: extending exceptions to handle distributed system failures and recovery
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Object-oriented coordination in mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Proxies: design principles for robust object-oriented intercession APIs
Proceedings of the 6th symposium on Dynamic languages
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Loosely-coupled distributed reactive programming in mobile ad hoc networks
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Orchestrating nomadic mashups using workflows
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
A programming language approach for context-aware mashups
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications
Proceedings of the 2011 ACM Symposium on Applied Computing
Location types for safe distributed object-oriented programming
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Orleans: cloud computing for everyone
Proceedings of the 2nd ACM Symposium on Cloud Computing
Virtual values for language extension
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Emerson: accessible scripting for applications in an extensible virtual world
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
AmbientTalk: modern actors for modern networks
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
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
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
Distributed object-oriented programming with RFID technology
DAIS'10 Proceedings of the 10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Bounded phase analysis of message-passing programs
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Integrating task parallelism with actors
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Model-Based compatibility checking of system modifications
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Domains: safe sharing among actors
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 13th International Middleware Conference
Distributed electronic rights in javascript
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
A survey on reactive programming
ACM Computing Surveys (CSUR)
Heap decomposition inference with linear programming
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Tanks: multiple reader, single writer actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Location types for safe programming with near and far references
Aliasing in Object-Oriented Programming
Science of Computer Programming
Distributed debugging for mobile networks
Journal of Systems and Software
Hi-index | 0.00 |
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. Plan coordination is the art of simultaneously enabling plans to cooperate, while avoiding hazards of destructive plan interference. For sequential computation within a single machine, object programming supports plan coordination well. For concurrent computation, this paper shows how hard it is to use locking to prevent plans from interfering without also destroying their ability to cooperate. In Internet-scale computing, machines proceed concurrently, interact across barriers of large latencies and partial failure, and encounter each other's misbehavior. Each dimension presents new plan coordination challenges. This paper explains how the E language addresses these joint challenges by changing only a few concepts of conventional sequential object programming. Several projects are adapting these insights to existing platforms.