ACP with Signals
暂无分享,去创建一个
[1] Jan A. Bergstra,et al. Global Renaming Operators in Concrete Process Algebra , 1988, Inf. Comput..
[2] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[3] Gérard Berry,et al. Synchronous programming of reactive systems: an introduction to ESTEREL , 1988 .
[4] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[5] Rob J. van Glabbeek,et al. Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra , 1987, STACS.