Pages that link to "Item:Q1944098"

The following pages link to Abstract processes of place/transition systems (Q1944098):

Displaying 8 items.

• Comparative trace semantics of time Petri nets (Q300337) (← links)
• Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
• Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) (← links)
• Synchronous and asynchronous communication(s) between three parties (Q2182658) (← links)
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
• On Causal Semantics of Petri Nets (Q3090821) (← links)
• (Q5020945) (← links)
• Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)