Sfoglia per Rivista  ACTA INFORMATICA

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 9 di 9
Titolo Data di pubblicazione Autore(i) Tipo File
`Closed Interval Process Algebra' versus `Interval Process Algebra' 1-gen-2001 Corradini, Flavio; Pistore, M. Articolo
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS 1-gen-2002 Corradini, Flavio; Vogler, W.; Jenner, L. Articolo
A core calculus for dynamic delta-oriented programming 1-gen-2018 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph Articolo
Fairness of Actions in System Computations 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Liveness of a Mutex Algorithm in a Fair Process Algebra 1-gen-2009 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Locality Based Semantics for Process Algebras 1-gen-1997 Corradini, Flavio; DE NICOLA, R. Articolo
Performance Preorder and Competitive Equivalence 1-gen-1997 Corradini, Flavio; Gorrieri, R.; Roccetti, M. Articolo
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 1-gen-2015 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Articolo
Timed automata with urgent transitions 1-gen-2004 Barbuti, Roberto; Tesei, Luca Articolo
Mostrati risultati da 1 a 9 di 9
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