Rewrite Systems with Constraints

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Nekonečně stavové souběžné systémy - modely a verifikace Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů