Decidability and decomposition in process algebras
Author(s)
Bibliographic Information
Decidability and decomposition in process algebras
University of Edinburgh, Department of Computer Science, 1993
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
CHR||15||1200042270341
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliography (p. 199-207)
Author's thesis (Ph.D.)--University of Edinbungh, 1993
CST-105-93 (also published as ECS-LFCS-93-278)