Pages that link to "Item:Q791319"

The following pages link to Port automata and the algebra of concurrent porcesses (Q791319):

Displaying 2 items.

• Concurrent transition systems (Q1119395) (← links)
• The categorical framework of object-oriented concurrent systems (Q1203710) (← links)