A Denotational Semantics for the Pi-Calculus
Aziz, Benjamin and Hamilton, Geoff W. (2001) A Denotational Semantics for the Pi-Calculus. In: 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001.
Full text not available from this repository.
Access this via: http://ewic.bcs.org/content/ConWebDoc/4142
| Item Type: | Conference or Workshop Item |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 09:18 |
| Last Modified: | 13 Dec 2023 09:18 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18926 |
Actions (login required)
 |
Edit Item |