Object-oriented concurrent programming
Object-oriented concurrent programming
Concurrent object-oriented programming in Act 1
Object-oriented concurrent programming
Essays in computing science
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
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
Eiffel: the language
Toward a method of object-oriented concurrent programming
Communications of the ACM
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Verifying Concurrent Processes Using Temporal Logic
Verifying Concurrent Processes Using Temporal Logic
Computer
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Simula Begin
Introducing concurrency to a sequential language
Communications of the ACM
ACM SIGICE Bulletin
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Class Library Support for Workflow Environments and Applications
IEEE Transactions on Computers
DAC '98 Proceedings of the 35th annual Design Automation Conference
A multi-threaded object-oriented programming model
ACM SIGSOFT Software Engineering Notes
Object-oriented and concurrent program design issues in Ada 95
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bottom-up design of active object-oriented databases
Communications of the ACM
Flexible types for a concurrent model
Concurrent object-oriented programming and petri nets
An efficient method for expressing active object in C++
ACM SIGSOFT Software Engineering Notes
Distributed component architecture for scientific applications
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Research Frontiers in Object Technology
Information Systems Frontiers
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
Conceptual Design of Parallel Systems
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
BDL: a language to control the behavior of concurrent objects
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Minimal Ownership for Active Objects
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Aspect Oriented Approach for Capturing and Verifying Distributed Properties
Languages: From Formal to Natural
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Types, regions, and effects for safe programming with object-oriented parallel frameworks
Proceedings of the 25th European conference on Object-oriented programming
Transparency and asynchronous method invocation
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Dependable Systems
SCOOP – a contract-based concurrent object-oriented programming model
Advanced Lectures on Software Engineering
Design by contract deontic design language for multiagent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
State inference for dynamically changing interfaces
Computer Languages
Processors and their collection
MSEPT'12 Proceedings of the 2012 international conference on Multicore Software Engineering, Performance, and Tools
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Hi-index | 48.25 |