A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666)
From MaRDI portal
scientific article; zbMATH DE number 6294886
Language | Label | Description | Also known as |
---|---|---|---|
English | A Behavioural Pseudometric based on λ–Bisimilarity |
scientific article; zbMATH DE number 6294886 |
Statements
A Behavioural Pseudometric based on λ–Bisimilarity (English)
0 references
13 May 2014
0 references
process algebra
0 references
\(\lambda\)-bisimilarity
0 references
behavioural pseudometric
0 references
fixed-point characterization
0 references