Author:
Janicki Ryszard,Lê Dai Tri Man,Zubkova Nadezhda
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abraham, U., Ben-David, S., Magodor, M.: On global-time and inter-process communication. In: Semantics for Concurrency, Workshops in Computing, pp. 311–323. Springer, Heidelberg (1990)
2. Begstra, J.A., et al. (eds.): The Handbook of Process Algebras. Elsevier Science, Amsterdam (2000)
3. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
4. Best, E., Koutny, M.: Petri net semantics of priority systems. Theoretical Computer Science 94, 141–158 (1992)
5. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)