中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
The buffered π-calculus: A model for concurrent languages [会议论文]
7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, April 2, 2013 - April 5, 2013
Deng, Xiaojie (1); Zhang, Yu (2); Deng, Yuxin (1); Zhong, Farong (3)

 
compositional reasoning for markov decision processes [会议论文]
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Deng Yuxin; Hennessy Matthew

 
characterisations of testing preorders for a finite probabilistic φ-calculus [期刊论文]
Formal Aspects of Computing, 2012-01-01, 卷号: 24, 期号: 41005, 页码: 701-726
Deng Yuxin; Tiu Alwen
  |  
 
characterising probabilistic processes logically [会议论文]
17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, Yogyakarta, Indonesia, 40826
Deng Yuxin; Van Glabbeek Rob
  |  
 
verifying anonymous credential systems in applied pi calculus [会议论文]
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Li Xiangxi; Zhang Yu; Deng Yuxin

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace