Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
Elements for a course on the design of distributed algorithms
ACM SIGCSE Bulletin
A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
Efficient fault-tolerant algorithms for distributed resource allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Localizing Failures in Distributed Synchronization
IEEE Transactions on Parallel and Distributed Systems
An overview of the GCP programming language
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Simulation & design of message routing systems for network of transputers
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Deriving Efficient Cache Coherence Protocols Through Refinement
Formal Methods in System Design
Fault-Tolerant Algorithms for Fair Interprocess Synchronization
IEEE Transactions on Parallel and Distributed Systems
A Protocol for Multi-Threaded Processes with Choice in pi-Calculus
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
A Semiformal Correctness Proof of a Network Broadcast Algorithm
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Efficient Synchronization of Asynchronous Processes
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Protocols for Non-Deterministic Communication over Synchronous Channels
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Some impossibility results in interprocess synchronization
Distributed Computing
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Priority Scheduling of Distributed Systems Based on Model Checking
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A concurrent ML library in concurrent Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A fair protocol for non-deterministic message passing
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Code mutation in verification and automatic code correction
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Designing a multiway synchronization protocol
Computer Communications
Implementing generalized alternative construct for erasmus language
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Knowledge based transactional behavior
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
| Hi-index | 0.00 |