Axiomatizing permutation equivalence in the λ-calculus

This publication has 6 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An algebraic semantics for structured transition systems and its application to logic programs
  Theoretical Computer Science, 1992
• Equational type logic
  Theoretical Computer Science, 1990
• Concurrent transition systems
  Theoretical Computer Science, 1989
• A Non-Interleaving Semantics for CCS Based on Proved Transitions
  Fundamenta Informaticae, 1988
• Formal verification of parallel programs
  Communications of the ACM, 1976