swMATH23207MaRDI QIDQ34991FDOQ34991
Author name not available (Why is that?)
Official website: http://www-kb.is.s.u-tokyo.ac.jp/~koba/typical/
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
- Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables
- PiDuce
- LoLA
- PIPER
- Gopherlyzer
- Responsiveness in process calculi
- Deadlock detection in linear recursive programs
This page was built for software: TyPiCal
