Succinct

MaRDI QIDQ21682swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-24730-2_21

Cited in

(6)

• Pathway analysis for BioAmbients
• From flow logic to static type systems for coordination languages
• A framework for security analysis of mobile wireless networks
• SpiCO
• Type Inference for Correspondence Types
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for software: Succinct