{"product_id":"uber-die-erkennbarkeit-unendlicher-spuren-von-anca-muscholl","title":"Über die Erkennbarkeit unendlicher Spuren","description":"\u003cp\u003eUnendliche Mazurkiewicz Spuren stellen einen mathematischen   Rahmen dar für die Untersuchung nichtterminierender   nebenläufiger Systeme, z. B. verteilter Transaktionssysteme.   Eine grundlegende Eigenschaft dabei ist die endliche   Kontrollierbarkeit (Erkennbarkeit) des Systemverhaltens.    Das vorliegende Buch behandelt den Begriff der Erkennbarkeit   für unendliche Spuren aus der Sicht der Automaten   mit verteilter Kontrolle. Es werden grundlegende Automaten-Konstruktionen   (Determinisierung, Komplementierung) vorgestellt, und   damit wird die klassische Theorie der unendlichen Sequenzen   zu unendlichen Spuren erweitert.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783815420676\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783815420676","offer_id":49593046729029,"sku":"9783815420676","price":49.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b326a0b7-2474-4273-a041-15948d7ef73b.jpg?v=1746689834","url":"https:\/\/shop.autorenwelt.de\/en\/products\/uber-die-erkennbarkeit-unendlicher-spuren-von-anca-muscholl","provider":"Autorenwelt Shop","version":"1.0","type":"link"}