関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent session » concurrent design, concurrent service, concurrent assertions
session data » session du, session 2a, session 3a
data library » data libraries, a library, cdna library
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent session » concurrent design, concurrent service, concurrent assertions
session data » session du, session 2a, session 3a
data library » data libraries, a library, cdna library
1
出版事項 2014
目次:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”全文の入手
電子媒体
eBook
2
出版事項 2010
目次:
“... of Logic -- Session 1 -- Typechecking Higher-Order Security Libraries -- Towards Deriving Type Systems...”全文の入手
電子媒体
eBook
3
出版事項 2014
目次:
“... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...”全文の入手
電子媒体
eBook