Interface-based specification and verification of concurrency controllers


Betin-Can A., Bultan T.

Electronic Notes in Theoretical Computer Science, cilt.89, sa.3, ss.464-479, 2003 (Scopus) identifier