Valediction
- 作者Cliff Jones
- 卷第20卷
- 期第6期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小40.89KB
- 发表时间2008-12
- DOI10.1007/s00165-008-0093-4
- 页码561-561
同作者推荐
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