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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
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

 
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-2021  中国科学院软件研究所 - Feedback
Powered by CSpace