TyPiCal
From MaRDI portal
Cited in
(12)- PiDuce
- LoLA
- PIPER
- Type-based information flow analysis for the \(\pi\)-calculus
- Static trace-based deadlock analysis for synchronous Mini-Go
- Mobile Processes and Termination
- Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables
- Gopherlyzer
- Deadlock detection in linear recursive programs
- A WSDL-based type system for asynchronous WS-BPEL processes
- Deadlock analysis of unbounded process networks
- Responsiveness in process calculi
This page was built for software: TyPiCal
