4 citations · 14 across the 13 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
From Causal Semantics To Duration Timed Models
Walid Belkhir
The interleaving semantics is not compatible with both action refinement and durational actions. Since many true concurrency semantics are congruent w.r.t. action refinement, notab…
cs.LO2009
The Star Height Hierarchy Vs. The Variable Hierarchy
Walid Belkhir
The star height hierarchy (resp. the variable hierarchy) results in classifying -terms into classes according to the nested depth of fixed point operators (resp. to the number o…