Similar Items: Linear usage of state
- Resource Usage Analysis for the Pi-Calculus
- Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
- Exploring the Dynamics of Less Frequent Social Media Usage
- LNL-FPC: The Linear/Non-linear Fixpoint Calculus
- GALFITools: A Python library to enhance GALFIT usage in galaxy image modeling
- Linear Abadi and Plotkin Logic