On the Unification of Process Semantics: Equational Semantics-Reference-Cited by-同舟云学术

On the Unification of Process Semantics: Equational Semantics

Published:2009-08 Issue: Volume:249 Page:243-267
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

de Frutos Escrig David,Gregorio Rodríguez Carlos,Palomino Miguel

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference14 articles.

1. Ready to preorder: get your BCCSP axiomatization for free!;Aceto,2007

2. Finite equational bases in process algebra: Results and open questions;Aceto,2005

3. Bisimulation up-to for the linear time-branching time spectrum;de Frutos-Escrig,2005

4. D. de Frutos-Escrig and C. Gregorio-Rodríguez. Algebraic and coinductive characterizations of semantics provide general results for free (short extended abstract). In E. Johnsen, O. Owe, and G. Scheneider, editors, 19th Nordic Workshop on Programming Theory, pages 96–98, 2007

5. Simulations up-to and canonical preorders (extended abstract);de Frutos-Escrig;Electronic Notes in Theoretical Computer Science,2007

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

1. The quantitative linear-time–branching-time spectrum;Theoretical Computer Science;2014-06

2. Axiomatizing weak simulation semantics over BCCSP;Theoretical Computer Science;2014-06

3. IOCO as a Simulation;Software Engineering and Formal Methods;2014

4. Unifying the Linear Time-Branching Time Spectrum of Process Semantics;Logical Methods in Computer Science;2013-06-27

5. Input-Output Conformance Simulation (iocos) for Model Based Testing;Formal Techniques for Distributed Systems;2013