Name-passing in an ambient-like calculus and its proof using spatial logic
Work
Year: 2006
Type: article
Source: Theoretical Computer Science
Author Xudong Guan
Institution Critical Software (Portugal)
Cites: 29
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze