29 citations · 49 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016
Optimal Test Sets for Context-Free Languages
Mikaël Mayer, Jad Hamza
A test set for a formal language (set of strings) L is a subset T of L such that for any two string homomorphisms f and g defined on L, if the restrictions of f and g on T are iden…
cs.LO2016
On Verifying Causal Consistency
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui +1
Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites accordin…