Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Oliveira, Marcel Vinicius Medeiros; Júnior, Ivan Soares de Medeiros; Woodcock, Jim (2013)
Publisher: SPRINGER
Languages: English
Types: Other
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 1. Burns, A., Wellings, A.: Concurrency in Ada, 2nd edn. Cambridge University Press (November 1997)
    • 2. Brown, N., Welch, P.: An Introduction to the Kent C++CSP Library. In: Broenink, J.F., Hilderink, G.H. (eds.) Communicating Process Architectures 2003, pp. 139- 156 (September 2003)
    • 3. Formal Systems Ltd. FDR: User Manual and Tutorial, version 2.82 (2005)
    • 4. Lin, S.-W., Liu, Y., Hsiung, P.-A., Sun, J., Dong, J.S.: Automatic generation of provably correct embedded systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 214-229. Springer, Heidelberg (2012)
    • 5. Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. McGraw-Hill, Inc., New York (1995)
    • 6. McMillin, B., Arrowsmith, E.: CCSP-A Formal System for Distributed Program Debugging. In: Proceedings of the Software for Multiprocessors and Supercomputers, Theory, Practice, Experience, Moscow, Russia (September 1994)
    • 7. Oliveira, M.V.M.: Formal Derivation of State-Rich Reactive Programs using Circus. PhD thesis, Department of Computer Science, University of York (2006)
    • 8. Oliveira, M., Cavalcanti, A.: FromCircus to JCSP. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 320-340. Springer, Heidelberg (2004)
    • 9. Oliveira, M., Woodcock, J.: Automatic Generation of Verified Concurrent Hardware. In: Butler, M., Hinchey, M., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 286-306. Springer, Heidelberg (2007)
    • 10. Parrow, J., Sj¨odin, P.: Designing a multiway synchronization protocol. Computer Communications 19(14), 1151-1160 (1996)
    • 11. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall (1998)
    • 12. Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating specification and programs for system modeling and verification. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 127-135. IEEE Computer Society, Washington, DC (2009)
    • 13. Welch, P.H.: Process oriented design for Java: concurrency for all. In: Arabnia, H.R. (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 51-57. CSREA Press (June 2000)
    • 14. Welch, P.H., Wood, D.C.: Higher Levels of Process Synchronisation. In: Bakkers, A.W.P. (ed.) Proceedings of WoTUG-20: Parallel Programming and Java, pp. 104- 129 (1997)
    • 15. Woodcock, J.C.P.: Using Circus for Safety-Critical Applications. Electronic Notes Theoretical Computer Science 95, 3-22 (2004)
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article