A Specification Format for Rooted Branching Bisimulation
Work
Year: 2014
Type: article
Source: Fundamenta Informaticae
Institution University of Insubria
Cites: 24
Cited by: 2
Related to: 10
FWCI: 0.285
Citation percentile (by year/subfield): 49.79
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed