Algebra of concurrent design

Opis bibliograficzny
1. autor: Hoare, T
Format: Conference item
Wydane: IEEE 2012