Pages that link to "Item:Q1889854"

The following pages link to A new natural structural congruence in the pi-calculus with replication (Q1889854):

Displaying 11 items.

• A calculus of quality for robustness against unreliable communication (Q492911) (← links)
• Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
• An exercise in structural congruence (Q845877) (← links)
• On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
• A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
• The Decidability of the Structural Congruence for Beta-binders (Q2864203) (← links)
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets (Q3184693) (← links)
• Systemic yoyo structure in human thoughts and the fourth crisis in mathematics (Q3639466) (← links)
• Descriptive definitions of potential and actual infinities (Q3639467) (← links)
• Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
• Observing Success in the Pi-Calculus (Q5240185) (← links)