[ACM Press the 2014 International C* Conference - Montreal, QC, Canada (2014.08.03-2014.08.05)] Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering - C3S2E '14 - Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus
Zhu, Ming, Grogono, Peter, Ormandjieva, Olga, Kamthan, PankajYear:
2008
Language:
english
DOI:
10.1145/2641483.2641529
File:
PDF, 1.15 MB
english, 2008