Deriving Complete Inference Systems for a Class of GSOS Languages Generating Regular Behaviours-Reference-Cited by-同舟云学术

Deriving Complete Inference Systems for a Class of GSOS Languages Generating Regular Behaviours

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

Author:

Aceto Luca

Publisher

Springer Berlin Heidelberg

Link

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

Reference20 articles.

1. L. Aceto, Deriving complete inference systems for a class of GSOS languages generating regular behaviours, Report IR 93–2009, Institute for Electronic Systems, Department of Mathematics and Computer Science, Aalborg University, Aalborg, November 1993. Also available as Computer Science Report 1/94, University of Sussex, January 1994.

2. L. Aceto, GSOS and finite labelled transition systems, Report 6/93, Computer Science, University of Sussex, Brighton, 1993. To appear in Theoretical Computer Science.

3. L. Aceto, B. Bloom, and F. Vaandrager, Turning SOS rules into equations, Report CS-R9218, Cwi, Amsterdam, June 1992. To appear in Information and Compu-tation 111(1/2), May/June 1994.

4. J. Baeten and W. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990.

5. J. Bergstra, I. Bethke, and A. Ponse, Process algebra with iteration and nesting, Report P9314ó, University of Amsterdam, Amsterdam, February 1994.

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

1. A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests;Programming Languages and Systems;2023

2. CCS with Hennessy's merge has no finite-equational axiomatization;Theoretical Computer Science;2005-02

3. An axiomatic semantics for the synchronous language Gentzen;Journal of Computer and System Sciences;2003-03

4. Ordered SOS Process Languages for Branching and Eager Bisimulations;Information and Computation;2002-10

5. Finite axiom systems for testing preorder and De Simone process languages;Algebraic Methodology and Software Technology;1996