残忍
发表于 2025-3-30 10:00:10
https://doi.org/10.1007/978-3-658-20953-7ESM systems are graph rewriting systems where productions are morphisms in a suitable category, ESM. The way graphs are transformed in ESM systems is essentially the same as in actor grammars, which were introduced in . It is demonstrated that a rewriting step corresponds to a (single) pushout construction, as in the approach from
lymphoma
发表于 2025-3-30 15:51:59
Federica G. Pedriali,Cristina SavettieriA semantics of Statecharts based on graph rewriting is presented. State-charts are formalized as graph replacement rules. The graph of derivations gives a sequential semantics which agrees with Statechart step semantics.
surrogate
发表于 2025-3-30 19:16:16
Extending graph rewriting with copying,The notion of term graph rewrite system (TGRS) is extended with a . mechanism. By analyzing this mechanism, a confluence result is obtained for these so-called . (C-TGRS). Some ideas on the use of lazy copying in practice are presented.
encomiast
发表于 2025-3-30 22:46:51
Recognizable sets of graphs of bounded tree-width,We establish that a set of finite graphs of tree-width at most . is recognizable (with respect to the algebra of graphs with an unbounded number of sources) . it is recognizable with respect to the algebra of graphs with at most . sources. We obtain a somewhat stronger result for sets of simple finite graphs of tree-width at most ..
BRACE
发表于 2025-3-31 04:57:02
Graphs and designing,In this paper the idea of defining graphical models or pictures by specifying their logical structures (graphs) and the possible ways of realization of such structures (realization schemes) is presented. The fact that the structure of the object is independent of its realization may be useful in the process of designing.
涂掉
发表于 2025-3-31 05:32:11
ESM systems and the composition of their computations,ESM systems are graph rewriting systems where productions are morphisms in a suitable category, ESM. The way graphs are transformed in ESM systems is essentially the same as in actor grammars, which were introduced in . It is demonstrated that a rewriting step corresponds to a (single) pushout construction, as in the approach from
食物
发表于 2025-3-31 11:40:41
Semantics of full statecharts based on graph rewriting,A semantics of Statecharts based on graph rewriting is presented. State-charts are formalized as graph replacement rules. The graph of derivations gives a sequential semantics which agrees with Statechart step semantics.
Ceramic
发表于 2025-3-31 15:37:26
Abstract graph derivations in the double pushout approach,, respectively. Three new equivalences are introduced, the third of which is shown to be satisfy both requirements. We also define a new category having the abstract derivations as arrows, which is, in our view, a fundamental step towards the definition of a truly-concurrent semantics for graph gram
Fibrinogen
发表于 2025-3-31 20:11:45
Single pushout transformations of equationally defined graph structures with applications to actorso-called local equations in particular, interesting graph transformation results carry over to the new setting. The use and the effects of such equations are illustrated and discussed for corresponding graph grammar modellings of a client/server problem considered as an actor system.
魔鬼在游行
发表于 2025-4-1 00:15:09
http://reply.papertrans.cn/39/3880/387981/387981_60.png