Informace o publikaci
Rewrite Systems with Constraints
| Název česky | Přepisovací systémy s omezeními |
|---|---|
| Autoři | |
| Rok publikování | 2001 |
| Druh | Článek ve sborníku |
| Konference | EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.elsevier.nl/locate/entcs/volume52.html |
| Obor | Počítačový hardware a software |
| Klíčová slova | (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility |
| Popis | Známý koncept přepisovacích systémů rozšiřujeme o jednotku obsahující globální informaci, která může ovlivňovat přepisování a být jím ovlivněna. Tato jednotka je podobná jednotce "store" používané v Concurrent Constraint Programming a může být také chápána jako slabá stavová jednotka. Zkoumáme jak popsané rozšíření změní vyjadřovací sílu tříd zahrnutých v Mayerově hierarchii přepisovacích systémů. Nové třídy fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS jsou vloženy do zmíněné hierarchie. |
| Související projekty: |