TyPiCal
From MaRDI portal
Cited in
(12)- 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
- Static trace-based deadlock analysis for synchronous Mini-Go
- PiDuce
- LoLA
- PIPER
- Gopherlyzer
- Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables
- Responsiveness in process calculi
- Deadlock detection in linear recursive programs
This page was built for software: TyPiCal
