نتایج جستجو برای: complete rewriting system

تعداد نتایج: 2522801  

1994
Jos van Wamel

Preex iteration a x is added to Minimal Process Algebra (MPA), which is a subalgebra of BPA equivalent to Milner's basic CCS. We present a-nite equational axiomatization for MPA , and prove that this axiomatization is complete with respect to strong bisimulation equivalence. To obtain this result, we set up a term rewriting system, based on the axioms, and show that bisimilar terms have the sam...

2002
Mirko Conrad Heiko Dörr Ingo Stürmer Andy Schürr

Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how “raw” classification trees are transformed into complete classification trees using an ex...

2000
Joseph Goguen Kai Lin

Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and con uence. We describe an e cient implementation of behavioral rewriting that uses standard rewriting. Circular coinductive rewriting combines behavioral rewriting with circular coinduction, gi...

2012
Noura Boudiaf Allaoua Chaoui

To analyze the behavior of Petri nets, the accessibility graph and Model Checking are widely used. However, if the analyzed Petri net is unbounded then the accessibility graph becomes infinite and Model Checking can not be used even for small Petri nets. ECATNets [2] are a category of algebraic Petri nets. The main feature of ECATNets is their sound and complete semantics based on rewriting log...

1996
Owen Rambow Giorgio Satta

In synchronous rewriting, the productions of two rewriting systems are paired and applied synchronously in the derivation of a pair of strings. We present a new synchronous rewriting system and argue that it can handle certain phenomena that are not covered by existing synchronous systems. We also prove some interesting formal/computational properties of our system.

2012
Gabriel Ciobanu Maciej Koutny L. Jason Steggles

We consider TiMo (Timed Mobility) which is a process algebra for prototyping software engineering applications supporting mobility and timing constraints. We provide an alternative semantics of TiMo using rewriting logic; in particular, we develop a rewriting logic model based on strategies to describe a maximal parallel computational step of a TiMo specification. This new semantical model is p...

Journal: :CoRR 2014
Alan J. Cain Robert D. Gray António Malheiro

This paper constructs presentations via finite complete rewriting systems for Plactic monoids of types An, Bn, Cn, Dn, and G2, using a unified proof strategy that depends on Kashiwara’s crystal bases and analogies of Young tableaux, and on Lecouvey’s presentations for these monoids. As corollaries, we deduce that Plactic monoids of these types have finite derivation type and satisfy the homolog...

2010
Issam Maamria Michael J. Butler

Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving between deduction and computation (i.e., rewriting) steps. If the logic of reasoning supports partial functions, it is necessary that rewriting copes with pot...

2000
Yodthong Rodkaew Suchada Siripant Chidchanok Lursinsap Prabhas Chongstitvatana

In this paper presents a method that combines with techniques L-system and Genetic Algorithms (GA) to search for a rewriting expression describing leaf shapes. L-system is used to construct a shape of leaf of a given rewriting expression, and GA is used to search an unknown rewriting expression's fitting parameters. Replacement of real value parameters to tag-function is introduced. The result ...

Journal: :Logical Methods in Computer Science 2013
Tom Hirschowitz

We propose a semantics for permutation equivalence in higher-order rewriting. This semantics takes place in cartesian closed 2-categories, and is proved sound and complete.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید