Università di Pisa
Sistema bibliotecario di ateneo

Compact Transition Systems

Degano, Pierpaolo and Priami, Corrado (1996) Compact Transition Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (123Kb)


    A major drawback of representing concurrent systems as transition systems is the exponential size of their semantic representations. We present a way of obtaining compact transition systems that are mildly exponential in average. The idea is to have (at least) one computation to represent all the ones only differing for the temporal ordering in which concurrent transitions occur. We characterise through axioms the transition systems which may be reduced in size, still preserving non interleaving bisimulation equivalences. We also exemplify our reduction technique on a process calculus whose compact transition system is generated in SOS style.

    Item Type: Book
    Uncontrolled Keywords: Transition Systems, Compact Representations, Non-Interleaving Semantics
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 26 Jan 2015 08:50
    Last Modified: 26 Jan 2015 08:50
    URI: http://eprints.adm.unipi.it/id/eprint/1948

    Repository staff only actions

    View Item