Establishes a separation theorem with no basic success-sensitive encoding of CCSK into CCS or pi-calculus, plus restricted encodings into internal pi-calculus under strong or weak bisimilarity.
Replacement freeness: A criterion for separating process calculi
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
method 1polarities
use method 1representative citing papers
Pore-resolved CFD diagnoses surface-access limitations in catalytic monoliths, showing that topology can reduce required pumping power by up to an order of magnitude for the same production rate.
citing papers explorer
-
Surface-access limitation in catalytic porous monoliths: Performance diagnosis using pore-resolved CFD
Pore-resolved CFD diagnoses surface-access limitations in catalytic monoliths, showing that topology can reduce required pumping power by up to an order of magnitude for the same production rate.