Publisher
Springer International Publishing
Reference34 articles.
1. APS and IMS systems,
http://www.apsystem.org.ua
2. Anderson, J.R., Lebiere, C.: The Atomic Components of Thought. Lawrence Erlbaum Associates, Mahwah (1998)
3. Baranov, S., Jervis, C., Kotlyarov, V., Letichevsky, A., Weigert, T.: Leveraging UML to deliver correct telecom applications in UML for Real. In: Lavagno, L., Martin, G., Selic, B. (eds.) Design of Embedded Real-Time Systems, pp. 323–342. Kluwer Academic Publishers (2003)
4. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control 60(1/3), 109–137 (1984)
5. Bergstra, J.A., Ponce, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)