The following pages link to Timed $$\pi $$-Calculus (Q2830030):
Displaying 6 items.
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- (Q5013824) (← links)
