Pages that link to "Item:Q5940931"
From MaRDI portal
The following pages link to Metric semantics for true concurrent real time (Q5940931):
Displaying 9 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Bundle event structures: a revised cpo approach. (Q1853038) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- (Q2844829) (← links)
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net (Q3648819) (← links)
- Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
- A projective formalism applied to topological and probabilistic event structures (Q5756981) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
