Excommunication: Transforming \(π\)-Calculus Specifications to Remove Internal Communication
Hamilton, Geoff W. and Aziz, Benjamin (2022) Excommunication: Transforming \(π\)-Calculus Specifications to Remove Internal Communication. In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings.
Full text not available from this repository. (Request a copy)
Access this via: https://doi.org/10.1007/978-3-031-22476-8\_7
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 11 Dec 2023 12:52 |
| Last Modified: | 11 Dec 2023 12:52 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18831 |
Actions (login required)
 |
Edit Item |