An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
Stephen Cook,B. Stroustrup,S. M. Pike
2007 · DOI: 10.1109/HASE.2007.54
IEEE International Symposium on High-Assurance Systems Engineering · 2 Citations