67-4970-43 Process Algebras for Petri Nets 978-3-319-85694-0
仕様
- サブタイトル:The Alphabetization of Distributed Systems
- 著者:Gorrieri, Roberto
- 叢書名:Monographs in Theoretical Computer Science. An EATCS Series
- 装丁:Paper
- 頁数他:XIII, 302 p. 64 illus., 4 illus. in color.
- 発行日:2018/05/09
- 分類:ペトリネット