Pages that link to "Item:Q3090855"
From MaRDI portal
The following pages link to On the Statistical Thermodynamics of Reversible Communicating Processes (Q3090855):
Displaying 12 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- (Q3197889) (← links)
- (Q3384917) (← links)
- Controlled Reversibility and Compensations (Q3453755) (← links)
- Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)
- (Q5089300) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- (Q5576660) (← links)