Similar Items: An Explicit Framework for Interaction Nets
- Acyclic Solos and Differential Interaction Nets
- Explicit fairness in testing semantics
- Connector algebras for C/E and P/T nets' interactions
- A Theory of Explicit Substitutions with Safe and Full Composition
- Software Model Checking with Explicit Scheduler and Symbolic Threads
- DVFIP-Net: Dual View Feature Interaction Propagation Network for Polyp Segmentation