OpenAlex
On Bisimulations for the Spi Calculus*
Work
Year: 2002
Type: book-chapter
Source: Lecture notes in computer science
Authors Johannes Borgström, Uwe Nestmann
Institutions KTH Royal Institute of Technology, École Polytechnique Fédérale de Lausanne
Cites: 9
Cited by: 17
Related to: 10
FWCI: 2.492
Citation percentile (by year/subfield): 74.75
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed