Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity |
scientific article; zbMATH DE number 7842233
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity |
scientific article; zbMATH DE number 7842233 |
Statements
Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (English)
0 references
3 May 2024
0 references
0 references
0 references
0 references
