Conference paper Forward Oriented Certification Method for Concurrency Control Wojciech Cellary Proceedings3rd International Symposium on Computer and Information Sciences, Izmir, Turkey Year1988 Download BibTeX