Login / Signup

Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus.

Ming ZhuPeter GrogonoOlga OrmandjievaPankaj Kamthan
Published in: C3S2E (2014)
Keyphrases