An Algebraic Framework for Defining Random Concurrent Behaviours

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

EN

The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.

Słowa kluczowe

EN

universe of objects; process; sequential composition; parallel composition; partial category; partial monoid; random behaviour

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 481--496
• Opis fizyczny: bibliogr. 15 poz.

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland,

Bibliografia

• [1] Bergstra, J., Klop, J., The algebra of recursively defined processes and the algebra of regular processes, in Paradaens, J., (Ed.), Proc. of 11th ICALP, Springer LNCS 172 (1984) 82-95
• [2] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136
• [3] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185
• [4] Feller,W., An Introduction to Probability Theory and its Applications, Volume II, JohnWiley and Sons, Inc. (1966)
• [5] Hart, S., Sharir, M., Pnueli, A., Termination of Probabilistic Concurrent Programs, ACM Trans. on Programming Languages and Systems, Vol. 5, No. 3, July 1983, 356-380
• [6] Kwiatkowska, M., Model checking for probability and time: from theory to practice, Proc. of 18th IEEE Symposium on Logic in Computer Science (LICS'03), IEEE Computer Society Press (2003), 351-360
• [7] Lynch, N., Segala, R., Vaandrager, F., Observing Branching Structure Through Probabilistic Contexts, Siam Journal on Computing 37 (4), 977-1013, September 2007
• [8] Meyer, P. A., Probability and Potentials, Blaisdell Publishing Company,Waltham, Massachusetts, Toronto, London (1966)
• [9] Milner, R., A Calculus of Communicating Systems, Springer LNCS 92 (1980)
• [10] Mitra, S., Lynch, N., Trace-based Semantics for Probabilistic Timed I/O Automata, Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 3-5, 2007, Springer LNCS 4416, Full version: http://theory.lcs.mit.edu/_mitras/research/PTIOA-066-full.pdf (1980)
• [11] Parthasarathy, K. R., Introduction to Probability and Measure, New Delhi (1980)
• [12] Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [13] Winkowski, J., Towards a Framework for Modelling Systems with Rich Structures of States and Processes, Fundamenta Informaticae 68 (2005), 175-206, http://www.ipipan.waw.pl/_wink/winkowski.htm
• [14] Winkowski, J., Behaviour Algebras, Fundamenta Informaticae 75 (2007), 537-560 http://www.ipipan.waw.pl/_wink/winkowski.htm
• [15] Winkowski, J., Towards a Framework for Modelling Behaviours of Hybrid Systems, Fundamenta Informaticae 80 (2007), 311-332, ICS PAS Report 1002 (2007), http://www.ipipan.waw.pl/_wink/winkowski.htm