Algebraic Specification of Communication Protocols Book Discussion
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)
by
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)