Tractable Refinement Checking for Concurrent Objects
- 期刊名称ACM SIGPLAN Notices
- 作者Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
- 卷第50卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小985.95KB
- 发表时间2015-01-14
- DOI10.1145/2775051.2677002
- 页码651-662
P-GridAberer, Karl; Cudré-Mauroux, Philippe; Datta, Anwitaman; Despotovic, Zoran; Hauswirth, Manfred; Punceva, Magdalena; Schmidt, Roman · ACM SIGMOD Record · 2003
Paper bricksDittrich, Jens · ACM SIGMOD Record · 2011
Cluster validity methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002
Ontologies and semantics for seamless connectivityUschold, Michael; Gruninger, Michael · ACM SIGMOD Record · 2004
Mining data streamsGaber, Mohamed Medhat; Zaslavsky, Arkady; Krishnaswamy, Shonali · ACM SIGMOD Record · 2005
Issues in data stream managementGolab, Lukasz; Özsu, M. Tamer · ACM SIGMOD Record · 2003
Understanding relationsCodd, E. F. · ACM SIGMOD Record · 1974
Clustering validity checking methodsHalkidi, Maria; Batistakis, Yannis; Vazirgiannis, Michalis · ACM SIGMOD Record · 2002