Cooperating sequential processes

An Automated Software Design Assistant

IEEE Transactions on Software Engineering

The IC* Model of Parallel Computation and Programming Environment

IEEE Transactions on Software Engineering

Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation

IEEE Transactions on Software Engineering

GLOSS: a high level machine

HLLCA '73 Proceedings of a symposium on High-level-language computer architecture

Formal ReSpecT in the A&A Perspective

Electronic Notes in Theoretical Computer Science (ENTCS)

TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks

IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks

A scenario-based verification technique to assess the compatibility of collaborative business processes

Data & Knowledge Engineering

The complexity of obstruction-free implementations

Journal of the ACM (JACM)

Efficient sequential consistency using conditional fences

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

Efficient data race detection for async-finish parallelism

RV'10 Proceedings of the First international conference on Runtime verification

NUMA-aware reader-writer locks

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming

Address-aware fences

Proceedings of the 27th international ACM conference on International conference on supercomputing