An equational theory for weak bisimulation via generalized parameterized coinduction

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 20, 2020
Source ID
10.1145/3372885.3373813

Entities

People

  • Chung-kil Hur
  • Paul He
  • Steve Zdancewic
  • Yannick Zakowski

Organizations

  • National Research Foundation of Korea
  • National Science Foundation
  • Office of Naval Research
  • Seoul National University
  • University of Pennsylvania