Slicing communicating automata specifications: polynomial algorithms for model reduction
- 作者Sébastien Labbé; Jean-Pierre Gallois
- 卷第20卷
- 期第6期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小2262.93KB
- 发表时间2008-12
- DOI10.1007/s00165-008-0086-3
- 页码563-595
同作者推荐
Thread algebra for poly-threadingJ. A. Bergstra; C. A. Middelburg · 2011
Machine structure oriented control code logicJ. A. Bergstra; C. A. Middelburg · 2009
Instruction sequence processing operatorsJ. A. Bergstra; C. A. Middelburg · 2012
Synchronous cooperation for explicit multi-threadingJ. A. Bergstra; C. A. Middelburg · 2007
A Process Calculus with Finitary Comprehended TermsJ. A. Bergstra, C. A. Middelburg · 2013
Algebra of timed framesBergstra, J. A.; Fokkink, W. J.; Middelburg, C. A. · International Journal of Computer Mathematics · 1996
Process Algebra with Strategic InterleavingBergstra, J. A.; Middelburg, C. A. · Theory of Computing Systems · 2018