Pages that link to "Item:Q5170667"

The following pages link to Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667):

Displaying 4 items.

• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
• Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
• A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
• Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)