Publication | Open Access
Undecidability of asynchronous session subtyping
46
Citations
5
References
2017
Year
EngineeringInteraction ProtocolVerificationProtocol AnalysisFormal MethodsConcurrency TheoryFormal VerificationAsynchronous SessionAsynchronous Circuits
| Year | Citations | |
|---|---|---|
Page 1
Page 1