URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: CONCUR'98, 1998:t.p. (Davide Sangiorgi)
- found: The [pi]-calculus, 2001:CIP t.p. (Davide Sangiorgi; INRIA Sophia-Antipolis) data sheet (b. Feb. 4, 1964)
- found: An introduction to bisimulation and coinduction, 2011:ECIP t.p. (Davide Sangiorgi; University of Bologna)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1994-03-21: new
- 2011-06-29: revised
Alternate Formats