Pages that link to "Item:Q4647576"

The following pages link to An application of co-inductive types in Coq: Verification of the alternating bit protocol (Q4647576):

Displaying 2 items.

• \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
• A Prospectus for Mobile Broadcasting Systems (Q5262975) (← links)