Sfoglia per Rivista  THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 1-gen-2017 Aceto, L; Ingólfsdóttir, A
An abstract framework for choreographic testing 1-gen-2021 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
The complexity of identifying characteristic formulae 1-gen-2020 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
Composition and decomposition of multiparty sessions 1-gen-2021 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio
Determinizing monitors for HML with recursion 1-gen-2020 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Örn Kjartansson, Sævar
A fixed-points based framework for compliance of behavioural contracts 1-gen-2021 Murgia, Maurizio
Input urgent semantics for asynchronous timed session types 1-gen-2019 Murgia, Maurizio
Logical characterisations, rule formats and compositionality for input-output conformance simulation 1-gen-2019 Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
Relating two automata-based models of orchestration and choreography 1-gen-2016 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
SOS rule formats for idempotent terms and idempotent unary operators 1-gen-2014 Aceto, L; Ingólfsdóttir, A; Goriac, E
A unified rule format for bounded nondeterminism in SOS with terms as labels 1-gen-2017 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A
Verifiable abstractions for contract-oriented systems 1-gen-2017 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Mostrati risultati da 1 a 12 di 12
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile