Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi
| Autor: | Baeten, Jos C.M., Sangiorgi, Davide |
|---|---|
| Zdroj: | In Handbook of the History of Logic 2014 9:399-442 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Baeten, Jos C.M., Sangiorgi, Davide |
|---|---|
| Zdroj: | In Handbook of the History of Logic 2014 9:399-442 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|