Trellis Processes : a Compact Representation...
URL: https://inria.hal.science/inria-00070452
Dataset description:
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner, traditional...
Source: Trellis Processes : a Compact Representation for Runs of Concurrent Systems
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 16, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 2 weeks ago |
| Id | 4757cc57-49ac-4e8d-8030-dc330de9c0f3 |
| Package id | oai-hal-inria-00070452v1 |
| Resource type | HTML |
| State | active |