Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Reasoning About Lazy-STM Programs.

Y. Li, Y. Zhang, Y. Chen, und M. Fu. J. Comput. Sci. Technol., 25 (4): 841-852 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Liwei Fu University of Stuttgart

Michael Funk

Dr. phil. Gavin Fullstone University of Stuttgart

Dr. Thimm Furian University of Stuttgart

Univ. -Prof. Dr. Stefan Funke University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

The Fractional Brownian Channel Model Considering the Statistical Characters in WCDMA.C. Dun, F. Ming, L. Yi, und C. Xi. CSIE (1), Seite 73-76. IEEE Computer Society, (2009)Backoff algorithm based on frame transmission efficiency in Ad hoc network.X. Yang, und M. Fu. BMEI, Seite 734-739. IEEE, (2013)Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide.L. Deng, H. Yuan, J. Chen, Z. Sun, M. Fu, F. Wang, S. Yan, K. Li, M. Yu, und T. Chen. Sensors, 21 (7): 2373 (2021)Using concurrent relational logic with helpers for verifying the AtomFS file system.M. Zou, H. Ding, D. Du, M. Fu, R. Gu, und H. Chen. SOSP, Seite 259-274. ACM, (2019)A Concurrent Temporal Programming Model with Atomic Blocks.X. Yang, Y. Zhang, M. Fu, und X. Feng. ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 22-37. Springer, (2012)A Practical Verification Framework for Preemptive OS Kernels.F. Xu, M. Fu, X. Feng, X. Zhang, H. Zhang, und Z. Li. CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 59-79. Springer, (2016)Formalizing SPARCv8 Instruction Set Architecture in Coq.J. Wang, M. Fu, L. Qiao, und X. Feng. SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 300-316. Springer, (2017)Reasoning about Optimistic Concurrency Using a Program Logic for History.M. Fu, Y. Li, X. Feng, Z. Shao, und Y. Zhang. CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 388-402. Springer, (2010)Formal Reasoning About Lazy-STM Programs.Y. Li, Y. Zhang, Y. Chen, und M. Fu. J. Comput. Sci. Technol., 25 (4): 841-852 (2010)Homomorphism Resolving of XPath Trees Based on Automata.M. Fu, und Y. Zhang. APWeb/WAIM, Volume 4505 von Lecture Notes in Computer Science, Seite 821-828. Springer, (2007)