Rewrite Systems with Constraints

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Přepisovací systémy s omezeními
Autoři

STREJČEK Jan

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info