Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Submodule construction as equation solving in CCS
Theoretical Computer Science
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
An Interleaving Model for Real-Time Systems
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
The Problem of ``Weak Bisimulation up to''
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |