A Robust Class of Data Languages and an Application to Learning
We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are well suited for modeling protocols in which sessions using fresh values are of major interest, like in security protocols...
Na minha lista:
| Principais autores: | , , , |
|---|---|
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
Logical Methods in Computer Science e.V.
2014-12-01
|
| 叢編: | Logical Methods in Computer Science |
| 主題: | |
| 在線閱讀: | https://lmcs.episciences.org/1030/pdf |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|