论文信息 - Process Algebra with a Zero Object

Process Algebra with a Zero Object

The object 0 acts as a zero for both sum and multiplication in process algebra. The constant δ, representing deadlock or inaction, is only a left zero for multiplication. We will call 0 predictable failure.

Jan A. Bergstra | Jos C. M. Baeten | J. Bergstra | J. Baeten

[1] Jan A. Bergstra,et al. Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .

[2] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] Martin Rem,et al. Trace Theory and Systolic Computations , 1987, PARLE.

[5] Jan A. Bergstra,et al. Process algebra: specification and verification in bisimulation semantics , 1986 .

[6] Jan A. Bergstra,et al. Global Renaming Operators in Concrete Process Algebra , 1988, Inf. Comput..

[7] Jan A. Bergstra,et al. Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[8] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..

[9] Rob J. van Glabbeek,et al. Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra , 1987, STACS.

[10] Jan Friso Groote,et al. Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract) , 1989, ICALP.

[11] Jan A. Bergstra,et al. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.

[12] Jan A. Bergstra,et al. Process theory based on bisimulation semantics , 1988, REX Workshop.

[13] Jos C. M. Baeten,et al. Merge and Termination in Process Algebra , 1987, FSTTCS.