Alvis-modelling language for concurrent systems

Studies in Computational Intelligence

Volumn 362, Issue , 2011, Pages 315-341

  Szpyrka, Marcin ^a   Matyasik, Piotr ^a   Mrówka, Rafał ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79961078770     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-21271-0_15     Document Type: Article

References (26)

1. Aceto L., Ingófsdóttir A., Larsen K., Srba J.: Reactive Systems: Modelling Specification and Verification. Cambridge University Press, Cambridge (2007)
2. Ada Europe: Ada Reference Manual ISO/IEC 8652:2007(E), 3 edn. (2007)
3. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, London (2008)
5. Balicki, K., Szpyrka, M.: Formal definition of XCCS modelling language. Fundamenta Informaticae 93(1-3), 1-15 (2009)
6. Barnes, J.: Programming in Ada 2005. Addison-Wesley, Reading (2006)
7. Bengtsson, J.E., Yi, W.: Timed automata: Semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87-124. Springer, Heidelberg (2004) (Pubitemid 39739357)
8. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science, Upper Saddle River (2001)
9. Burns, A., Wellings, A.: Concurrent and real-time programming in Ada 2005. Cambridge University Press, Cambridge (2007)
10. Fencott, C.: Formal Methods for Concurrency. International Thomson Computer Press, Boston (1995)
11. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
12. van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
13. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Inc., Upper Saddle River (1985)
14. ISO: Information processing systems, open systems interconnection LOTOS. Tech. Rep. ISO 8807 (1989)
15. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1-3. Springer, Berlin (1992-1997)
16. Matyasik, P.: Design and analysis of embedded systems with XCCS process algebra. Ph.D. thesis, AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, Kraków, Poland (2009)
17. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
18. Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541-580 (1989)
19. Nalepa, G.J.: Languages and tools for rule modeling. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 596-624. IGI Global, Hershey (2009)
20. Nalepa, G.J., Ligȩza, A.: The hekate methodology. hybrid engineering of intelligent systems. Applied Mathematics and Computer Science 20(1), 35-53 (2010)
21. Object Management Group: OMG Systems Modeling Language (OMG SysML) (2008)
22. O'Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell. O'Reilly Media, Se-bastopol (2008)
23. Samolej, S., Rak, T.: Simulation and performance analysis of distributed internet systems using tcpns. Informatica 33(4), 405-415 (2009)
24. Szpyrka, M.: Analysis of RTCP-nets with reachability graphs. Fundamenta Informati-cae 74(2-3), 375-390 (2006) (Pubitemid 44878755)
25. Szpyrka, M.: Design and analysis of rule-based systems with adder designer. In: Cotta, C., Reich, S., Schaefer, R., Ligȩza, A. (eds.) Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations. Studies in Computational Intelligence, vol. 102, pp. 255-271. Springer, Heidelberg (2008)
26. Szpyrka, M.: Petri nets for modelling and analysis of concurrent systems. WNT, Warsaw (2008) (in Polish)