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
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
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
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Sigma algebras in probabilistic epistemic dynamics
2011-01-01 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
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
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2011-01-01 Aceto, L; Henzinger, M; Sgall, J
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011)
2011-01-01 Aceto, L; Mousavi, M R
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
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
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; 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
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 | |
| 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 | |
| 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 | |
| Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| Sigma algebras in probabilistic epistemic dynamics | 1-gen-2011 | Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J | |
| 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 | |
| Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 | 1-gen-2011 | Aceto, L; Henzinger, M; Sgall, J | |
| Decompositional Reasoning about the History of Parallel Processes | 1-gen-2011 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| The Algorithmics of Bisimilarity | 1-gen-2011 | Aceto, L; Ingólfsdóttir, A; Srba, J | |
| Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) | 1-gen-2011 | Aceto, L; Mousavi, M R | |
| 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 | |
| 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 | |
| Characteristic Formulae for Relations with Nested Fixed Points | 1-gen-2012 | Aceto, L; 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 | |
| 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