Pages that link to "Item:Q5709995"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709995):
Displaying 6 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712345) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)