scholarly journals Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity

2012 ◽  
pp. 169-188 ◽  
Author(s):  
Myrto Arapinis ◽  
Sergiu Bursuc ◽  
Mark D. Ryan
Keyword(s):  
Equational Theories ◽  
Trace Equivalence

Theories with equational forking

2002 ◽  
Vol 67 (1) ◽  
pp. 326-340 ◽  
Author(s):  
Markus Junker ◽  
Ingo Kraus
Keyword(s):  
Symmetric Relation ◽  
Equational Theories

AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.

Sign in / Sign up

Export Citation Format

Share Document