Symbolic weak bisimulation for value-passing calculiPublication Year: 1998
Publication Type: Article
URL: ftp://158.130.67.137/pub/papers/lee/public_html/papers/MS-CIS-98-22.pdf
Search in Google: Symbolic weak bisimulation for value-passing calculi
Viewed times: 0
Publication Year: 1998
Publication Type: Article
URL: ftp://158.130.67.137/pub/papers/lee/public_html/papers/MS-CIS-98-22.pdf
Search in Google: Symbolic weak bisimulation for value-passing calculi
Viewed times: 0
Want to get more resources?
You can claim your publications, create your own research profile on iamResearcher. Join now to share millions of research resources within other researchers.
Sign Up Now