Pages that link to "Item:Q2405890"
From MaRDI portal
The following pages link to A static analysis for brane calculi providing global occurrence counting information (Q2405890):
Displayed 5 items.
- A formal approach to open multiparty interactions (Q1727996) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Q5164854) (← links)
- Process calculi for biological processes (Q6062000) (← links)