TyPiCal
From MaRDI portal
Software:34991
swMATH23207MaRDI QIDQ34991FDOQ34991
Author name not available (Why is that?)
Cited In (8)
- A WSDL-based type system for asynchronous WS-BPEL processes
- Type-based information flow analysis for the \(\pi\)-calculus
- Mobile Processes and Termination
- Deadlock analysis of unbounded process networks
- Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables
- Deadlock Detection in Linear Recursive Programs
- Responsiveness in process calculi
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
This page was built for software: TyPiCal
