Pages that link to "Item:Q3184693"

The following pages link to On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693):

Displaying 7 items.

• Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
• Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
• Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
• Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
• On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
• A Petri Net Interpretation of Open Reconfigurable Systems (Q3011889) (← links)
• When to Move to Transfer Nets (Q3460877) (← links)