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.
