Opin vísindi

Fletta eftir efnisorði "Rökfræði"

Fletta eftir efnisorði "Rökfræði"

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 ...
  • Icon
    Syntactic approaches to negative results in process algebras and modal logics 
    Anastasiadi, Elli (2022-10-17)
    Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applications ...
  • Icon
    A type system with subtyping for WebAssembly’s stack polymorphism 
    McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo (Springer, 2022-10-03)
    We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...