Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 97
Titolo Data di pubblicazione Autore(i) File
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
On the axiomatizability of priority II 1-gen-2011 Aceto, L; Chen, T; Ingólfsdóttir, A; Luttik, B; van de Pol, J
Sigma algebras in probabilistic epistemic dynamics 1-gen-2011 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
Rule Formats for Distributivity 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Graphical representation of covariant-contravariant modal formulae 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Axiomatizing Weak Ready Simulation Semantics over BCCSP 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Reynisson, A H; Sigurdarson, S H; Sirjani, M
Axiomatizing GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Decompositional Reasoning about the History of Parallel Processes 1-gen-2011 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 1-gen-2011 Aceto, L; Henzinger, M; Sgall, J
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) 1-gen-2011 Aceto, L; Mousavi, M R
The Algorithmics of Bisimilarity 1-gen-2011 Aceto, L; Ingólfsdóttir, A; Srba, J
Characteristic formulae for fixed-point semantics: a general framework 1-gen-2012 Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J
Rule formats for distributivity 1-gen-2012 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule formats for determinism and idempotence 1-gen-2012 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Proving the validity of equations in GSOS languages using rule-matching bisimilarity 1-gen-2012 Aceto, L; Cimini, M; Ingólfsdóttir, A
Algebraic Synchronization Trees and Processes 1-gen-2012 Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, A
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 1-gen-2012 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Mostrati risultati da 21 a 40 di 97
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