Constrained Rewrite Transition Systems

• Název česky: Přepisovací systémy s omezeními
• Autoři: STREJČEK Jan
• Rok publikování: 2000
• Druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Rozšířujeme přepisovací systémy o mechanismus pro práci s částečnou informací v analogické podobě jako v Concurrent Constraint Programming (CCP). Rozšíření změní vyjadřovací sílu tříd přechodových systémů BPA a BPP a vzniknou tak dvě nové třídy přechodových systémů (fcBPA a fcBPP). Rozšíření nezmění vyjadřovací sílu ostatních uvažovaných tříd (FSA, PDA, PPDA, a PN). Nově vzniklé třídy jsou zařazeny do hierarchie standardních tříd přechodových systémů navržené Mollerem [Mol96].

Související projekty

• Nekonečně stavové souběžné systémy - modely a verifikace
• Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů