Pages that link to "Item:Q4728280"

The following pages link to Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages (Q4728280):

Displaying 2 items.

• Proof systems for infinite behaviours (Q1193598) (← links)
• On an effective hierarchy of communicating processes: Separation principle and testing (Q1269918) (← links)