Publication | Open Access
On the boundary between decidability and undecidability of asynchronous session subtyping
34
Citations
9
References
2018
Year
EngineeringComputability TheoryInteraction ProtocolVerificationProtocol AnalysisFormal MethodsConcurrency TheoryComputer ScienceConcurrent SystemFormal VerificationAsynchronous SessionCryptographyAsynchronous Circuits
| Year | Citations | |
|---|---|---|
Page 1
Page 1