Concurrency annotations for reusable software
Communications of the ACM
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Concurrency annotations in C++
ACM SIGPLAN Notices
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Checking timing constraints in distributed object-oriented programs
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
An essential design pattern for fault-tolerant distributed state sharing
Communications of the ACM
Strategic directions in object-oriented programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Separation and composition of concerns in the object-oriented model
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A multi-threaded object-oriented programming model
ACM SIGSOFT Software Engineering Notes
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A comparison of the concurrency features of Ada 95 and Java
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Scheduling control mechanisms for managing indeterminate object behavior
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Virtual synchronization: uncoupling synchronization annotations from synchronization code
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Elucidate: a tool to aid comprehension of concurrent object oriented execution
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Concurrency, objects and visualisation
ACSE '00 Proceedings of the Australasian conference on Computing education
Object-oriented modelling of parallel hardware systems
Proceedings of the conference on Design, automation and test in Europe
Adding extensible synchronization capabilities to the agent model of a FIPA-compliant agent platform
First international workshop, AOSE 2000 on Agent-oriented software engineering
Reflective controls for intelligent distributed objects
Proceedings of the 2001 ACM symposium on Applied computing
Enhancing O-O Middleware to Become Time-Aware
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
A concurrency abstraction model for avoiding inheritance anomaly in object-oriented programs
Compiler optimizations for scalable parallel systems
An enhanced thread synchronization mechanism for Java
Software—Practice & Experience
Parallel programming using visual patterns
Progress in computer research
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Inheritance in concurrent objects
Formal methods for distributed processing
Parallel programming using visual patterns
Progress in computer research
Jeeg: a programming language for concurrent objects synchronization
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Extending the object model to provide explicit support for crosscutting concerns
Software—Practice & Experience
Solving inheritance anomaly with OMNets
Journal of Computer Science and Technology
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
Implementing Concurrent Object-Oriented Languages on Multicomputers
IEEE Parallel & Distributed Technology: Systems & Technology
Patterns and the Democratization of Concurrent Programming
IEEE Concurrency
Associative Modeling and Programming
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Roles and Aspects: Similarities, Differences, and Synergetic Potential
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
COMPSAC '00 24th International Computer Software and Applications Conference
The Impact of Using Class Inheritance in a Distributed Information System
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Using Metaobject Protocols to Implement Atomic Data Types
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Modern Concurrency Abstractions for C#
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Supporting Unanticipated Dynamic Adaptation of Application Behaviour
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Implementing Real-Time Actors with MetaJava
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Inheritance in the Join Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Current proposals for parallel C++
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A Meta-Object Protocol for Distributed OO Applications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Extending the SystemC synthesis subset by object-oriented features
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
The inheritance anomaly: ten years after
Proceedings of the 2004 ACM symposium on Applied computing
JR: Flexible distributed programming in an extended Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
A transactional object calculus
Science of Computer Programming
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Reusable aspect-oriented implementations of concurrency patterns and mechanisms
Proceedings of the 5th international conference on Aspect-oriented software development
Exclusion requirements and potential concurrency for composite objects
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Typed parametric polymorphism for aspects
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of concurrency control in a language with subtyping and subclassing
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Virtual Processors: Migrating object-clusters unify concurrency and distribution
Integrated Computer-Aided Engineering
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
SCHOOL: a Small Chorded Object-Oriented Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Information hiding in the join calculus
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Incrementally developing parallel applications with AspectJ
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Early concurrent/mobile objects
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Hi-index | 0.03 |