Pages that link to "Item:Q2503326"

The following pages link to Bisimulation on speed: a unified approach (Q2503326):

Displaying 3 items.

• Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
• Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
• New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)