CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Efficient synchronization of multiprocessors with shared memory
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Some experiments in object-oriented simulation
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
Efficient synchronization of multiprocessors with shared memory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores
IEEE Transactions on Software Engineering
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Timing analysis of cyclic concurrent programs
ICSE '89 Proceedings of the 11th international conference on Software engineering
Experiments in automated analysis of concurrent software systems
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Comments Analysis and Programming Errors
IEEE Transactions on Software Engineering
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Ellie language definition report
ACM SIGPLAN Notices
Synchronizing the presentation of multimedia objects-ODA extensions-
ACM SIGOIS Bulletin
Adapting synchronization counters to the requirements of inheritance
ACM SIGPLAN OOPS Messenger
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Adapting synchronization counters to the requirements of inheritance
ACM SIGPLAN OOPS Messenger
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
A general, fine-grained, machine independent, object-oriented language
ACM SIGPLAN Notices
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Composition of before/after metaclasses in SOM
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nico Habermann's research: a brief retrospective
ICSE '94 Proceedings of the 16th international conference on Software engineering
The design of a next-generation process language
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Compiling path expressions into VLSI circuits
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ELECTRE: A language using control structure expressions to specify synchronization
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Analyzing synchronization problems by using event histories as languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Coordination control with BCOOPL
Proceedings of the 2001 ACM symposium on Applied computing
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An office specification language based on path expressions
ACM SIGSMALL/PC Notes
Verification and design aspects of "true concurrency"
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Complexity of expressions allowing concurrency
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A semantic model for parallel systems with scheduling
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inheritance in concurrent objects
Formal methods for distributed processing
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Assuring and evolving concurrent programs: annotations and policy
Proceedings of the 24th International Conference on Software Engineering
The use of domain knowledge in program understanding
Annals of Software Engineering
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
Cooperative transaction hierarchies: transaction support for design applications
The VLDB Journal — The International Journal on Very Large Data Bases
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Making Components Contract Aware
Computer
Debugging Multithreaded Programs with MPD
IEEE Software
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Scenario-Based Analysis of Component Compositions
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
A Coordination Model and Facilities for Efficient Parallel Computation
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Dynamic Constraints and Object Migration
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Advanced Thread Synchronization in Java Using Interaction Expressions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
The invention of concurrent programming
The origin of concurrent programming
Communicating sequential processes
The origin of concurrent programming
Distributed processes: a concurrent programming concept
The origin of concurrent programming
The TYPESET-10 Message Exchange Facility: a case study in systemic design
ACM SIGOPS Operating Systems Review
Static verification of security requirements in role based CSCW systems
Proceedings of the eighth ACM symposium on Access control models and technologies
ICSE '79 Proceedings of the 4th international conference on Software engineering
Language features for description of cooperating processes
ICSE '79 Proceedings of the 4th international conference on Software engineering
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Synchronization and recovery of actions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The design of OWL a language for walking
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
An experience with parallelism in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Generalized path expressions: A high level debugging mechanism (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Language features for process interaction
Proceedings of an ACM conference on Language design for reliable software
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
Practical applications of path pascal in systems programming
ACM '79 Proceedings of the 1979 annual conference
Synchronization: Is a synthesis of the problems possible?
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Process synchronization by counter variables
ACM SIGOPS Operating Systems Review
MetaJava: an efficient run-time meta architecture for Java/sup TM/
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
An experience with parallelism in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Fast Paths in Concurrent Programs
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
Proceedings of the 5th international conference on Generative programming and component engineering
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
The service creation environment: a telecom case study
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Orthogonal persistence and AOP: a balancing act
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
ACM Transactions on Information and System Security (TISSEC)
A regular viewpoint on processes and algebra
Acta Cybernetica
Concern-Specific Languages in a Visual Web Service Creation Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Specification technique for parallel processing: process-data representation
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Monterey Phoenix, or how to make software architecture executable
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Formal verification of service composition in pervasive computing environments
Proceedings of the First Asia-Pacific Symposium on Internetware
Aspect-oriented programming: selecting and exposing object paths
SC'07 Proceedings of the 6th international conference on Software composition
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Occurrence nets then and now: the path to structured occurrence nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
Rule-based coordination of logic programs
Computer Languages
Generalized path expressions: A high-level debugging mechanism
Journal of Systems and Software
Embedded system design with ada as the system design language
Journal of Systems and Software
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Fundamenta Informaticae
EnforceMOP: a runtime property enforcement system for multithreaded programs
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 0.03 |