The following pages link to Type theory and concurrency (Q1124322):
Displaying 7 items.
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- Type theory and concurrency (Q1124322) (← links)
- Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
- Process realizability (Q2752053) (← links)
- Automating the refinement of specifications for distributed systems via syntactic transformations (Q4392352) (← links)
- Type Preservation as a Confluence Problem (Q5389092) (← links)