The following pages link to (Q4733426):
Displaying 15 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- A framework for viewing atomic events in distributed computations (Q1128710) (← links)
- Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\) (Q1314379) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Mixed sessions (Q2055956) (← links)
- (Q3384912) (← links)
- (Q4222914) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)
- Emergence in Context-Free Parallel Communicating Grammar Systems: What Does and Does not Make a Grammar System More Expressive Than Its Parts (Q4686650) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- Decidability of Weak Bisimilarity for a Subset of BPA (Q5415622) (← links)
