Process algebra with a zero object-Reference-Cited by-同舟云学术

Process algebra with a zero object

Published: Issue: Volume: Page:83-98
ISSN:
Container-title:CONCUR '90 Theories of Concurrency: Unification and Extension
language:
Short-container-title:

Author:

Baeten J. C. M.,Bergstra J. A.

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0039053.pdf

Reference18 articles.

1. J.C.M. Baeten & J.A. Bergstra [88],Global renaming operators in concrete process algebra, I&C 78, 1988, pp. 205–245.

2. J.C.M. Baeten & J.A. Bergstra [90],Process algebra with zero object and nondeterminacy, report P9002, Programming Research Group, University of Amsterdam 1990.

3. J.C.M. Baeten & R.J. van Glabbeek [87],Merge and termination in process algebra, in: Proc. 7th FST&TCS, Pune (K.V. Nori, ed.), Springer LNCS 287, 1987, pp. 153–172.

4. J.C.M. Baeten, J.A. Bergstra & J.W. Klop [86],Syntax and defining equations for an interrupt mechanism in process algebra, Fund. Inf. IX, 1986, pp. 127–168.

5. J.A. Bergstra & J.W. Klop [84a],Process algebra for synchronous communication, I&C 60, 1984, pp. 109–137.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proving the validity of equations in GSOS languages using rule-matching bisimilarity;Mathematical Structures in Computer Science;2012-02-28

2. SOS rule formats for zero and unit elements;Theoretical Computer Science;2011-06

3. A Finite Axiomatization of Nondeterministic Regular Expressions;RAIRO - Theoretical Informatics and Applications;1999-07

4. Graded Modalities and Resource Bisimulation;Lecture Notes in Computer Science;1999

5. A congruence theorem for structured operational semantics with predicates and negative premises;CONCUR '94: Concurrency Theory;1994