Opin vísindi

Fletta eftir deild "Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) (RU)"

Fletta eftir deild "Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) (RU)"

Röðun: Raða: Niðurstöður:

  • Icon
    Rule Formats for Nominal Process Calculi 
    Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...