325 search results - page 32 / 65 » Abstract Rewriting |
101
Voted
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
99
Voted
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
97
Voted
GG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...
148
Voted
WOLLIC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
120
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...