Equations, Contractions, and Unique Solutions
Work
Year: 2014
Type: preprint
Abstract: One of the most studied behavioural equivalences is bisimilarity. Its success is much due to the associated bisimulation proof method, which can be further enhanced by means of "up-to bisimulation" te... more
Author Davide Sangiorgi
Institution University of Bologna
Cites: 32
Cited by: 6
Related to: 10
Citation percentile (by year/subfield): 89.75
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funders Agence Nationale de la Recherche, Ministero dell’Istruzione, dell’Università e della Ricerca
Grant IDS 12IS02001 PACE, PRIN project `CINA', protocollo 2010LHT4KM_007