Editorial
- 作者Richard F. Paige; Phillip J. Brooke
- 卷第21卷
- 期第4期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小45.40KB
- 发表时间2009-08
- DOI10.1007/s00165-009-0113-z
- 页码303-303
同作者推荐
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