> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Deadlockanalyse Service-orientierter Softwaresysteme Beteiligte: Weißbach, Mandy [Verfasser]; Zimmermann, Wolf [Gutachter]; Löwe, Welf [Gutachter] Erschienen: Halle (Saale): Universitäts- und Landesbibliothek Sachsen-Anhalt, 2019 Umfang: Online-Ressource Sprache: Deutsch DOI: 10.25673/32211 Identifikator: Schlagwörter: Dienst ; Verklemmung ; Softwaresystem ; Petri-Netz ; Kaktuskeller ; Process Rewrite System ; Modellierung ; Abstraktion ; abstraktions-basiert ; Deadlockanalyse ; unbeschränkte Rekursion ; unbeschränkte Nebenläufigkeit ; Synchronisation ; petri net ; cactus stack ; process rewrite system ; modeling ; abstraction-based ; deadlock analysis ; unbound recursion ; unbound concurrency ; synchronization Entstehung: Hochschulschrift: Dissertation, Halle (Saale), Martin-Luther-Universität Halle-Wittenberg, 2019 Anmerkungen: Zugangsstatus: Freier Zugang