Slow Abstraction via Priority-Reference-Cited by-同舟云学术

Slow Abstraction via Priority

Published:2013 Issue: Volume: Page:326-345
ISSN:0302-9743
Container-title:Theories of Programming and Formal Methods
language:
Short-container-title:

Author:

Roscoe A. W.,Hopcroft Philippa J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39698-4_20

Reference15 articles.

1. Lecture Notes in Computer Science;P. Armstrong,2012

2. Armstrong, P., Lowe, G., Ouaknine, J., Roscoe, A.W.: Model checking Timed CSP. To appear in Proceedings of HOWARD, Easychair

3. Hopcroft, P.J., Broadfoot, G.H.: Combining the box structure development method and CSP. Electr. Notes Theor. Comput. Sci. 128(6), 127–144 (2005)

4. Broadfoot, G.H., Hopcroft, P.J.: A paradigm shift in software development. In: Proceedings of Embedded World Conference 2012, Nuremberg, February 29 (2012)

5. Fidge, C.J.: A formal definition of priority in CSP. ACM Transactions on Programming Languages and Systems 15(4) (1993)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Process Algebra and Model Checking;Handbook of Model Checking;2018

2. FDR: From Theory to Industrial Application;Concurrency, Security, and Puzzles;2016-12-18

3. Reducing Complex CSP Models to Traces via Priority;Electronic Notes in Theoretical Computer Science;2016-10

4. FDR3: a parallel refinement checker for CSP;International Journal on Software Tools for Technology Transfer;2015-04-05

5. FDR3 — A Modern Refinement Checker for CSP;Tools and Algorithms for the Construction and Analysis of Systems;2014