知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
0304-3975
刊名
Theoretical Computer Science
参考译名
理论计算机科学
收藏年代
2002~2024
全部
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2006, vol.350, no.1
2006, vol.350, no.2-3
2006, vol.351, no.1
2006, vol.351, no.2
2006, vol.351, no.3
2006, vol.352, no.1-3
2006, vol.353, no.1-3
2006, vol.354, no.1
2006, vol.354, no.2
2006, vol.354, no.3
2006, vol.355, no.1
2006, vol.355, no.2
2006, vol.355, no.3
2006, vol.356, no.1-2
2006, vol.356, no.3
2006, vol.357, no.1-3
2006, vol.358, no.1
2006, vol.358, no.2-3
2006, vol.359, no.1-3
2006, vol.360, no.1-3
2006, vol.361, no.1
2006, vol.361, no.2-3
2006, vol.362, no.1-3
2006, vol.363, no.1
2006, vol.363, no.2
2006, vol.363, no.3
2006, vol.364, no.1
2006, vol.364, no.2
2006, vol.364, no.3
2006, vol.365, no.1-2
2006, vol.365, no.3
2006, vol.366, no.1-2
2006, vol.366, no.3
2006, vol.367, no.1-2
2006, vol.367, no.3
2006, vol.368, no.1-2
2006, vol.368, no.3
2006, vol.369, no.1-3
题名
作者
出版年
年卷期
On the expressiveness of higher dimensional automata
R. J. van Glabbeek
2006
2006, vol.356, no.3
Fairness of components in system computations
F. Corradini; M. R. Di Berardini; W. Vogler
2006
2006, vol.356, no.3
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova; Tim A. C. Willemse
2006
2006, vol.356, no.3
Concurrent nets: A study of prefixing in process calculi
Emmanuel Beffara; Francois Maurel
2006
2006, vol.356, no.3
On the co-language expressive power of extended Petri nets
A. Finkel; G. Geeraerts; J.-F. Raskin; L. Van Begin
2006
2006, vol.356, no.3
On the expressive power of KLAIM-based calculi
Rocco De Nicola; Daniele Gorla; Rosario Pugliese
2006
2006, vol.356, no.3
A CPS encoding of name-passing in Higher-order mobile embedded resources
Mikkel Bundgaard; Thomas Hildebrandt; Jens Chr. Godskesen
2006
2006, vol.356, no.3
Name-passing in an ambient-like calculus and its proof using spatial logic
Xudong Guan
2006
2006, vol.356, no.3
Leader election in rings of ambient processes
Iain Phillips; Maria Grazia Vigliotti
2006
2006, vol.356, no.3
制造业外文文献服务平台