Proportional lumpability and proportional bisimilarity

Marin, A; Piazza, C; Rossi, S

Rossi, S (通讯作者),Univ Ca Foscari Venezia, Venice, Italy.

ACTA INFORMATICA, 2022; 59 (2-3): 211