Formal modelling and verification of concurrent systems with XCCS

Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC 2008

Volumn , Issue , 2008, Pages 454-458

  Szpyrka, Marcin ^a,b   Matyasik, Piotr ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

^b JAN KOCHANOWSKI UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FOURIER TRANSFORMS; SOFTWARE ENGINEERING;

COMPUTER TOOLS; CONCURRENT SYSTEMS; FORMAL MODELLING; GRAPHICAL EDITORS; GRAPHICAL MODELLING; PROCESS ALGEBRAS; TRANSFORMATION ALGORITHMS;

LINGUISTICS;

EID: 60349129919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2008.26     Document Type: Conference Paper

References (10)

1. J. C. M. Baeten. A brief history of process algebra. Theoretical Computer Science, 335 (2-3):131-146, 2005.
2. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier Science, Upper Saddle River, NJ, USA, 2001.
3. A. M. K. Cheng. Real-time Systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey, 2002.
4. C. Fencott. Formal Methods for Concurrency. International Thomson Computer Press, Boston, MA, USA, 1995.
5. JGraph Ltd. JGraph. http://www.jgraph.com.
6. Netbeans. http://www.netbeans.org.
7. R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
8. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
9. F. Moller and P. Stevens. Edinburgh Concurrency Workbench user manual. http://www.dcs.ed.ac.uk/home/cwb.
10. M. Szpyrka and K. Balicki. XCCS - graphical extension of CCS language. In Proc. of Mixdes 2006, the 14th International Conference Mixed Design of Integrated Circuits and Systems, pages 688-693, Ciechocinek, Poland, June 21-23 2007.