Benedikt Bollig

Formal Models of Communicating Systems - New York Springer US 2006

978-3-540-32923-7


Computer Science