Pages that link to "Item:Q2888503"
From MaRDI portal
The following pages link to CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503):
Displaying 14 items.
- CIRC (Q18336) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- (Q2980965) (← links)
- Friends with Benefits (Q2988636) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
