The following pages link to (Q3394898):
Displaying 15 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Threaded behavior protocols (Q470016) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Architecture of a software training complex for aluminum industry personnel (Q612192) (← links)
- Approximating Markovian testing equivalence (Q764291) (← links)
- Product line process theory (Q898612) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- On the Semantics of Markov Automata (Q3012929) (← links)
- An FP-based Design Methodology for Problem-oriented Architectures (Q3031900) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- (Q3994196) (← links)
- Algorithmical approaches to business process design (Q5955965) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)
