Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. T. Aaltonen, M. Katara, and R. Pitkänen. DisCo toolset: The new generation. Journal of Universal Computer Science, 7(1):3–18, 2001.
2. T. Aaltonen, P. Kellomäki and R. Pitkänen. Specifying cash-point with DisCo. Formal Aspects of Computing, 231–232, Vol. 12(4), 2000.
3. E. Dijkstra and C. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11(1), 1–4, 1980.
4. T. Elrad, R. E. Filman, and A. Bader. Aspect-oriented programming. Communications of the ACM, 44(10):29–32, October 2001.
5. S. Isojärvi. newblock DisCo and Nokia: Experiences of DisCo with modeling realtime system in multiprocessor environment. Formal Methods Europe Industrial Seminar’ 97, Otaniemi, Finland, February 20, 1997.