Otoni, R., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2017) Local Analysis of Determinism for CSP. In: Cavalheiro, S. and Fiadeiro, J., (eds.) Formal Methods:Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Lecture Notes in Computer Science . Springer , pp. 107-124.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © Springer International Publishing AG, 2017. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 04 Jan 2018 10:20 |
Last Modified: | 06 Jan 2025 00:23 |
Published Version: | https://doi.org/10.1007/978-3-319-70848-5_8 |
Status: | Published |
Publisher: | Springer |
Series Name: | Lecture Notes in Computer Science |
Identification Number: | 10.1007/978-3-319-70848-5_8 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:125804 |