Remarks on Memory Consistency Description
- 期刊名称Fundamenta Informaticae
- 作者Czaja, Ludwik; Czaja, Ludwik; Penczek, Wojciech; Stencel, Krzysztof
- 卷第147卷
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小923.04KB
- 发表时间2016-11-17
- DOI10.3233/FI-2016-1405
- 页码209-221
Continuous Pairwise ComparisonsSaaty, Thomas L.; Janicki, Ryszard; Kułakowski, Konrad · Fundamenta Informaticae · 2016
Multiple Controlled Random Testing*Mrozek, Ireneusz; Yarmolik, Vyacheslav · Fundamenta Informaticae · 2016
Parikh Matrices and Parikh Rewriting SystemsTeh, Wen Chean · Fundamenta Informaticae · 2016
Remarks on Memory Consistency DescriptionCzaja, Ludwik; Czaja, Ludwik; Penczek, Wojciech; Stencel, Krzysztof · Fundamenta Informaticae · 2016
Reversible Queue AutomataKutrib, Martin; Malcher, Andreas; Wendlandt, Matthias; Bensch, Suna; Freund, Rudolf; Hirvensalo, Mika; Otto, Friedrich · Fundamenta Informaticae · 2016
Strongly Limited AutomataPighizzini, Giovanni; Bensch, Suna; Freund, Rudolf; Hirvensalo, Mika; Otto, Friedrich · Fundamenta Informaticae · 2016
Tiered ObjectsAlessi, Fabio; Cardone, Felice · Fundamenta Informaticae · 2016
Instruction Sequence Size Complexity of ParityBergstra, J.A.; Middelburg, C.A. · Fundamenta Informaticae · 2016