Login / Signup

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.

David N. JansenXinxin Liu
Published in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases