Sfoglia per Autore
Axiomatizing GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; 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 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
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; 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
Sigma algebras in probabilistic epistemic dynamics
2011-01-01 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011)
2011-01-01 Aceto, L; Mousavi, M R
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2011-01-01 Aceto, L; Henzinger, M; Sgall, J
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
On the axiomatizability of priority II
2011-01-01 Aceto, L; Chen, T; Ingólfsdóttir, A; Luttik, B; van de Pol, J
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
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M 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
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, 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
Rule formats for determinism and idempotence
2012-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Characteristic formulae for fixed-point semantics: a general framework
2012-01-01 Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Axiomatizing GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; 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 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 | |
Decompositional Reasoning about the History of Parallel Processes | 1-gen-2011 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; 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 | |
Sigma algebras in probabilistic epistemic dynamics | 1-gen-2011 | Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J | |
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011) | 1-gen-2011 | Aceto, L; Mousavi, M R | |
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 | 1-gen-2011 | Aceto, L; Henzinger, M; Sgall, J | |
The Algorithmics of Bisimilarity | 1-gen-2011 | Aceto, L; Ingólfsdóttir, A; Srba, J | |
On the axiomatizability of priority II | 1-gen-2011 | Aceto, L; Chen, T; Ingólfsdóttir, A; Luttik, B; van de Pol, J | |
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 | |
Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M 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 | |
Characteristic Formulae for Relations with Nested Fixed Points | 1-gen-2012 | Aceto, L; Ingólfsdóttir, 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 | |
Rule formats for determinism and idempotence | 1-gen-2012 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
Characteristic formulae for fixed-point semantics: a general framework | 1-gen-2012 | Aceto, L; Ingólfsdóttir, A; Levy, P B; Sack, J |
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