Hide and New in the Pi-Calculus
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012) |
| Author | Giunti, Marco, Palamidessi, Catuscia, Valencia, Frank D. |
| Maintainer | CCSD |
| Last Updated | June 2, 2026, 06:00 (UTC) |
| Created | June 2, 2026, 06:00 (UTC) |
| Identifier | hal-00761118 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Centro de Investigação em Informática e Tecnologias da Informação (CITI) |
| coverage | New Castle upon Tyne, United Kingdom |
| creator | Giunti, Marco |
| date | 2012-09-03T00:00:00 |
| metadata_modified | 2026-05-28T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.89 |
| set_spec | type:COMM |