The following pages link to (Q4499198):
Displaying 4 items.
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963) (← links)