Concurrent object-oriented programming
Communications of the ACM
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Islands: aliasing protection in object-oriented languages
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Posting compression in dynamic retrieval environments
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
CHARM++: a portable concurrent object oriented system based on C++
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Inheritance in concurrent objects
Formal methods for distributed processing
Imperative objects as mobile processes
Science of Computer Programming
PRISMA/DB: A Parallel, Main Memory Relational DBMS
IEEE Transactions on Knowledge and Data Engineering
Parallelism in a Main-Memory DBMS: The Performance of PRISMA/DB
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Inheritance in the Join Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification and refinement with fine-grained action-based concurrent objects
Theoretical Computer Science - Formal methods for components and objects
Theoretical Computer Science
An Approach to Splitting Atoms Safely
Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Concurrency by modularity: design patterns, a case in point
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
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
Hi-index | 0.02 |