2 papers
cs.LO2026
A New Branching Bisimulation for Probabilistic Processes
Guo Li, Zhaokai Li, Xinxin Liu +3
We introduce a new branching bisimulation for probabilistic processes, which induces a more refined equivalence relation than any known equivalence that abstracts from unobservable…
physics.ins-det2024
ETROC1: The First Full Chain Precision Timing Prototype ASIC for CMS MTD Endcap Timing Layer Upgrade
Xing Huang, Quan Sun, Datao Gong +16
We present the design and characterization of the first full chain precision timing prototype ASIC, named ETL Readout Chip version 1 (ETROC1) for the CMS MTD endcap timing layer (E…