A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization with eventcounts and sequencers
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Fast parallel sorting algorithms
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
An alternative to event queues for synchronization in monitors
Communications of the ACM
An exercise in proving parallel programs correct
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
A comparative analysis of disk scheduling policies
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Synchronization in actor systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Operating system principles
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
Synchronizing Resources
Mechanisms for Specifying Scheduling Policies
Mechanisms for Specifying Scheduling Policies
Proof rules for communicating sequential processes
Proof rules for communicating sequential processes
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiments in SR with different upcall program structures
ACM Transactions on Computer Systems (TOCS)
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
REXDC—a remote execution mechanism
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Usability of the Ada tasking-model
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Comments on 'Critical Races in Ada Programs'
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
A comparison of the object-oriented and process paradigms
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Surveyors' forum: Notations for concurrent programming
ACM Computing Surveys (CSUR)
Corrigenda: “Concepts and notations for concurrent programs”
ACM Computing Surveys (CSUR)
Parallel programs: proofs, principles, and practice
Communications of the ACM
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
IEEE Transactions on Software Engineering
The origin of concurrent programming
IEEE Transactions on Parallel and Distributed Systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Distributed communication via global buffer
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Real time resource allocation in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
An analysis of language models for high-performance communication in local-area networks
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Distributed programming languages
ACM '82 Proceedings of the ACM '82 conference
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Efficient event generation for detecting races
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Concert/C: a language for distributed programming
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Models, languages, and heuristics for distributed computing
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Paper: A software architecture for distributed computer control systems
Automatica (Journal of IFAC)
Inter-entry selection: Non-determinism and explicit control mechanisms
Computer Languages
An SR approach to multiway rendezvous
Computer Languages
Efficient parallel implementation of sequence analysis algorithms using a global address space model
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.02 |