6 citations · 11 across the 2 of their papers we have counts for
3 papers
Tenderbake -- A Solution to Dynamic Repeated Consensus for Blockchains
Lăcrămioara Aştefanoaei, Pierre Chambart, Antonella Del Pozzo +3
First-generation blockchains provide probabilistic finality: a block can be revoked, albeit the probability decreases as the block sinks deeper into the chain. Recent proposals rev…
Forward Analysis and Model Checking for Trace Bounded WSTS
Pierre Chambart, Alain Finkel, Sylvain Schmitz
We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we…
Toward a Compositional Theory of Leftist Grammars and Transformations
Pierre Chambart, Philippe Schnoebelen
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor…