A congruence theorem for structured operational semantics with predicates and negative premises-Reference-Cited by-同舟云学术

A congruence theorem for structured operational semantics with predicates and negative premises

Published:1994 Issue: Volume: Page:433-448
ISSN:0302-9743
Container-title:CONCUR '94: Concurrency Theory
language:
Short-container-title:

Author:

Verhoef C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-48654-1_32

Reference25 articles.

1. L. Aceto, M. Hennessy, Termination, deadlock and divergence, JACM, 39 (1): 147–187, Januari 1992.

2. J. C. M. Baeten, J. A. Bergstra, Discrete Time Process Algebra, Report P9208b, Amsterdam, 1992. An extended abstract appeared in: W. R. Cleaveland, editor, Proceedings CONCUR 92, Stony Brook, LNCS 630, pp. 456–471, Springer-Verlag, 1992.

3. J. C. M. Baeten, J. A. Bergstra, Process algebra with a zero object, in: J. C. M. Baeten and J. W. Klop, editors, Proceedings CONCUR 90, Amsterdam, LNCS 458, pp. 83–98, Springer-Verlag, 1990.

4. J. C. M. Baeten, J. A. Bergstra, Processen en Procesexpressies, Informatie, 30 (3), pp. 177–248, 1988.

5. J. C. M. Baeten and C. Verhoef, A congruence theorem for structured operational semantics with predicates, in: E. Best (ed.), Proceedings CONCUR 93, LNCS 715, pp. 477–492, Springer-Verlag, 1993.

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

1. A Declarative Validator for GSOS Languages;Electronic Proceedings in Theoretical Computer Science;2023-04-13

2. Testing Languages with a Languages-as-Databases Approach;Tests and Proofs;2023

3. Compositional Model Checking Is Lively;Formal Aspects of Component Software;2017

4. Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces;Hardware Description Languages and their Applications;1997

5. Discrete time process algebra with abstraction;Fundamentals of Computation Theory;1995