MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast parallel implementation of lazy languages—the EQUALS experience
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A calculus of mobile processes, II
Information and Computation
Toward a method of object-oriented concurrent programming
Communications of the ACM
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object orientation with parallelism and persistence
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
A Theory of Objects
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Confluence of Processes and Systems of Objects
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Orchestrating Computations on the World-Wide Web
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Compilation and Equivalence of Imperative Objects
Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A foundation for actor computation
Journal of Functional Programming
Promised messages: recovering from inconsistent global states
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Secured Information Flow for Asynchronous Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
From Theory to Practice in Distributed Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming the grid with POP-C++
Future Generation Computer Systems - Special section: Data mining in grid computing environments
Lazy argument passing in Java RMI
Proceedings of the 6th international symposium on Principles and practice of programming in Java
CoBoxes: Unifying Active Objects and Structured Heaps
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Specification Language for Distributed Components Implemented in GCM/ProActive
The Common Component Modeling Example
Stopping safely hierarchical distributed components: application to GCM
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Asynchronous sequential processes
Information and Computation
ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment
Euro-Par 2008 Workshops - Parallel Processing
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Unifying Architectural and Behavioural Specifications of Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
A mechanized model of the theory of objects
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Workflow fine-grained concurrency with automatic continuation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Analysis of deadlocks in object groups
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Exception handling and asynchronous active objects: issues and proposal
Advanced Topics in Exception Handling Techniques
A hybrid message Logging-CIC protocol for constrained checkpointability
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
ASPfun: A typed functional active object calculus
Science of Computer Programming
| Hi-index | 0.00 |
This paper aims at providing confluence and determinism properties in concurrent processes, more specifically within the paradigm of object-oriented systems. Such results should allow one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. For that purpose, an object calculus is proposed. Its key characteristics are asynchronous communications with futures, and sequential execution within each process.While most of previous works exhibit confluence properties only on specific programs -- or patterns of programs, a general condition for confluence is presented here. It is further put in practice to show the deterministic behavior of a typical example.