Determinacy and confluence in concurrent and...
URL: https://theses.hal.science/tel-00690512
Dataset description:
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and have been...
Source: Determinacy and confluence in concurrent and synchronous process calculi
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 21, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | a25c4347-96c0-41c2-a886-3f4c093a9669 |
| Package id | oai-hal-tel-00690512v1 |
| Resource type | HTML |
| State | active |