[ACM Press the 2014 International C* Conference - Montreal,...

  • Main
  • [ACM Press the 2014 International C*...

[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, Pankaj
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2008
Language:
english
DOI:
10.1145/2641483.2641529
File:
PDF, 1.15 MB
english, 2008
Conversion to is in progress
Conversion to is failed