Formal definition of XCCS modelling language

Fundamenta Informaticae

Volumn 93, Issue 1-3, 2009, Pages 1-15

  Balicki, Krzysztof ^a   Szpyrka, Marcin ^b  

^a UNIVERSITY OF RZESZÓW   (Poland)

^b AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

Basic Conversion Algorithm; Formal definition; Synchronization relation; XCCS process algebra

Indexed keywords

ALGEBRAIC EQUATIONS; BASIC CONVERSION ALGORITHM; CONVERSION ALGORITHM; DIRECTED GRAPHS; FORMAL DEFINITION; INDIVIDUAL AGENT; MODELLING LANGUAGE; PROCESS ALGEBRAS; PROCESS CALCULI; TWO LAYERS; XCCS PROCESS ALGEBRA;

ALGEBRA; GRAPH THEORY; SYNCHRONIZATION;

MATHEMATICAL MODELS;

EID: 67651184058     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-0084     Document Type: Article

References (17)

1. Aceto, L., Ingófsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, Cambridge, UK, 2007.
2. Baeten, J. C. M.: A brief history of process algebra, Theoretical Computer Science, 335(2-3), 2005, 131-146.
3. Bergstra, J. A., Klop, J. W.: Algebra of Communicating Processes with Abstraction, Theoretical Computer Science, 37(1), 1985, 77-121.
4. Bergstra, J. A., Ponse, A., Smolka, S. A., Eds.: Handbook of Process Algebra, Elsevier Science, Upper Saddle River, NJ, USA, 2001.
5. Bowen, J. P., Hinchey, M. G.: Ten commandments revisited: a ten-year perspective on the industrial application of formal methods, FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, ACM Press, New York, NY, USA, 2005.
6. Brinksma, E., Ed.: Information Processing Systems, Open Systems Interconnection LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, vol. IS-8807 of International Standard, ISO, Geneva, 1989.
7. Cheng, A. M. K.: Real-time Systems. Scheduling, Analysis, and Verification, Wiley Interscience, New Jersey, 2002.
8. Fencott, C.: Formal Methods for Concurrency, International Thomson Computer Press, Boston, MA, USA, 1995.
9. Hoare, C. A. R.: Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.
10. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1-3, Springer-Verlag, Berlin, Germany, 1992-1997.
11. Milner, R.: A Calculus of Communicating Systems, vol. 92 of LNCS, Springer-Verlag, 1980.
12. Milner, R.: Communication and Concurrency, Prentice-Hall, 1989.
13. Moller, F., Stevens, P.: Edinburgh Concurrency Workbench user manual.
14. Sommerville, I.: Software Engineering, Pearson Education Limited, London, 2004.
15. Szpyrka, M., Balicki, K.: XCCS - graphical extension of CCS language, Proc. of Mixdes 2006, the 14th International Conference Mixed Design of Integrated Circuits and Systems, Ciechocinek, Poland, June 21-23 2007.
16. Szpyrka, M., Matyasik, P.: Design of XCCS models with Inez XCCS Editor, CSL Technical Report 3, AGH University of Science and Technology, 2008.
17. Szpyrka, M., Matyasik, P.: Formal modelling and verification of concurrent systems with XCCS, Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), Krakow, Poland, July 1-5 2008.