> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Deadlock checking by a behavioral effect system for lock handling Beteiligte: Pun, Ka I.; Steffen, Martin; Stolz, Volker Erschienen: Elsevier BV, 2012 Erschienen in: The Journal of Logic and Algebraic Programming Sprache: Englisch DOI: 10.1016/j.jlap.2011.11.001 ISSN: 1567-8326 Schlagwörter: Computational Theory and Mathematics ; Logic ; Theoretical Computer Science ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang