TyPiCal
From MaRDI portal
Software:34991
No author found.
Related Items (8)
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go ⋮ Mobile Processes and Termination ⋮ Responsiveness in process calculi ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Deadlock Detection in Linear Recursive Programs ⋮ Maximal rectangular subsets contained in the set of partially jointly typical sequences for dependent random variables ⋮ Deadlock analysis of unbounded process networks ⋮ Type-based information flow analysis for the \(\pi\)-calculus
This page was built for software: TyPiCal
