Three metric domains of processes for bisimulation
From MaRDI portal
Publication:5890043
DOI10.1007/3-540-58027-1_5MaRDI QIDQ5890043
Publication date: 28 April 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58027-1_5
unique fixed point; sequential composition; parallel composition; nonexpansive function; label transition system
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items