A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems.

David Baelde Stéphanie Delaune Lucca Hirschi

Published in: POST (2014)

Keyphrases

building blocks
database
databases
case study
real time
data mining
genetic algorithm
management system
distributed systems
complex systems
formal semantics
formal languages