Sfoglia per Autore
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
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 GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Sigma algebras in probabilistic epistemic dynamics
2011-01-01 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
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
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
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
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
SOS rule formats for zero and unit elements
2011-01-01 Aceto, L; Cimini Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
On the axiomatizability of priority II
2011-01-01 Aceto, L; Chen, T; Ingólfsdóttir, A; Luttik, B; van de Pol, J
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, A
Algebraic Synchronization Trees and Processes
2012-01-01 Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, 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
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
| Axiomatizing Weak Ready Simulation Semantics over BCCSP | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| 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 GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
| Sigma algebras in probabilistic epistemic dynamics | 1-gen-2011 | Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J | |
| The Algorithmics of Bisimilarity | 1-gen-2011 | Aceto, L; Ingólfsdóttir, A; Srba, J | |
| 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 | |
| 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 | |
| Decompositional Reasoning about the History of Parallel Processes | 1-gen-2011 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| 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 | |
| SOS rule formats for zero and unit elements | 1-gen-2011 | Aceto, L; Cimini Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| On the axiomatizability of priority II | 1-gen-2011 | Aceto, L; Chen, T; Ingólfsdóttir, A; Luttik, B; van de Pol, J | |
| Characteristic Formulae for Relations with Nested Fixed Points | 1-gen-2012 | Aceto, L; Ingólfsdóttir, A | |
| Algebraic Synchronization Trees and Processes | 1-gen-2012 | Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, 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 | |
| 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 |
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