OpenAPI Te Dá o Alfabeto. Session Types Precisam da Gramática.
As especificações OpenAPI descrevem schemas de requisição e resposta, mas não especificam sequências válidas de mensagens. Veja como extrair o que é possível e onde você ainda precisa preencher as lacunas.
As especificações OpenAPI dizem como uma requisição válida se parece e como uma resposta válida se parece. Elas não dizem se você pode chamar antes de , ou o…