The Decidability of the Reachability Problem for CCS!
Work
Year: 2011
Type: book-chapter
Author Chaodong He
Institution Shanghai Jiao Tong University
Cites: 37
Cited by: 5
Related to: 10
FWCI: 1.217
Citation percentile (by year/subfield): 81.96
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Climate action
Open Access status: closed