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