Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Process algebra with timing

Process algebra with timing

There is a lot of literature on ACP-style process algebra with timing. If you are interested, the following course is recommended.

  1. J.C.M. Baeten & M.A. Reniers, Discrete time process algebra with relative timing, handout course 2L920, Eindhoven University of Technology 1995.
  2. J.C.M. Baeten & J.A. Bergstra, Discrete time process algebra, FAC 8 (2), 1996, pp. 188-208.
  3. J.C.M. Baeten & J.A. Bergstra, Discrete time process algebra: absolute time, relative time and parametric time, Fundamenta Informaticae 29 (1/2), 1997, pp. 51-76.
  4. J.C.M. Baeten & J.A. Bergstra, Real time process algebra, FAC 3 (2), 1991, pp. 142-188.
  5. J.C.M. Baeten & J.A. Bergstra, Real time process algebra with infinitesimals, in: Proc. ACP94 (A. Ponse, C. Verhoef & S.F.M. van Vlijmen, eds.), Utrecht 1994, Workshops in Computing, Springer Verlag 1995, pp. 148-187.
  6. J.C.M. Baeten & J.A. Bergstra, Real space process algebra, FAC 5 (6), 1993, pp. 481-529.
  7. J.C.M. Baeten & J.A. Bergstra, Discrete time process algebra with abstraction, in: Proc. FCT95 (H. Reichel, ed.), Dresden, Springer LNCS 965, 1995, pp. 1-15.
  8. A.S. Klusener, Abstraction in real time process algebra, in: Real time, theory in practice, Proc. REX91 (J.W. de Bakker, C. Huizing, W.P. de Roever & G. Rozenberg, eds.), Mook 1991, Springer LNCS 600, 1992, pp. 325-352.
  9. J.A. Bergstra & P. Klint, The discrete time ToolBus, report P9502, Programming Research Group, University of Amsterdam 1995.

Complete information.