Research and Education in Concurrent Systems  - REX

领  域:  计算机科学
主  页:  http://www.informatik.uni-trier.de/~ley/db/conf/rex/index.html

论文统计图
最新的论文更多>>
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings  
J. W. De Bakker , Willem-paul De Roever , Grzegorz Rozenberg
Research and Education in Concurrent Systems  1994
0次引用 0 0
Linear Logic on Petri Nets  
Uffe Engberg , Glynn Winskel
Research and Education in Concurrent Systems  1993
18次引用 0 0
Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings  
J. W. De Bakker , Willem-paul De Roever , Grzegorz Rozenberg
Research and Education in Concurrent Systems  1993
0次引用 0 0
Expressiveness Results for Process Algebras  
Frits W. Va , rager , rager
Research and Education in Concurrent Systems  1993
31次引用 0 0
Interaction Diagrams  
Joachim Parrow
Research and Education in Concurrent Systems  1993
4次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Jan J. M. M. Rutten
VU University of Amsterdam
 
Willem-paul De Roever
Christian Albrechts University of Kiel
 
Grzegorz Rozenberg
 
J. W. De Bakker
Mathematisch Centrum, Amsterdam, Holland
 
Zohar Manna
Stanford University
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜