BIROn - Birkbeck Institutional Research Online

    On the axiomatizability of impossible futures

    Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science 11 (3), ISSN 1860-5974.

    Full text not available from this repository.

    Abstract

    A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the process algebra BCCS. This transformation moreover preserves omega-completeness. It is applicable to semantics at least as coarse as impossible futures semantics. As an application, ground- and omega-complete axiomatizations are derived for weak failures, completed trace and trace semantics. We then present a finite, sound, ground-complete axiomatization for the concrete impossible futures preorder, which implies a finite, sound, ground-complete axiomatization for the weak impossible futures preorder. In contrast, we prove that no finite, sound axiomatization for BCCS modulo concrete and weak impossible futures equivalence is ground-complete. If the alphabet of actions is infinite, then the aforementioned ground-complete axiomatizations are shown to be omega-complete. If the alphabet is finite, we prove that the inequational theories of BCCS modulo the concrete and weak impossible futures preorder lack such a finite basis.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Computer Science, Logic in Computer Science
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Taolue Chen
    Date Deposited: 27 Sep 2017 11:14
    Last Modified: 09 Aug 2023 12:42
    URI: https://eprints.bbk.ac.uk/id/eprint/19658

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    278Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item