The following pages link to TyPiCal (Q34991):
Displaying 8 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go (Q3179284) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables (Q3340766) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)