Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.creator | D'argenio, Pedro Ruben | - |
| dc.creator | Gebler, Daniel | - |
| dc.creator | Lee, Matias David | - |
| dc.date | 2018-01-19T17:27:28Z | - |
| dc.date | 2018-01-19T17:27:28Z | - |
| dc.date | 2014-04 | - |
| dc.date | 2018-01-18T21:03:19Z | - |
| dc.date.accessioned | 2019-04-29T15:34:46Z | - |
| dc.date.available | 2019-04-29T15:34:46Z | - |
| dc.date.issued | 2014-04 | - |
| dc.identifier | D'argenio, Pedro Ruben; Gebler, Daniel; Lee, Matias David; Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules; Springer Verlag Berlín; Lecture Notes in Computer Science; 2014; 4-2014; 289-303 | - |
| dc.identifier | 0302-9743 | - |
| dc.identifier | http://hdl.handle.net/11336/33966 | - |
| dc.identifier | CONICET Digital | - |
| dc.identifier | CONICET | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/297030 | - |
| dc.description | Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions to describe behavioral relations and distances of states, respectively. We provide a method to generate from a PTSS a sound and ground-complete equational axiomatization for strong and convex bisimilarity. The construction is based on the method of Aceto, Bloom and Vaandrager developed for non-deterministic transition system specifications. The novelty in our approach is to employ many-sorted algebras to axiomatize separately non-deterministic choice, probabilistic choice and their interaction. Furthermore, we generalize this method to axiomatize the strong and convex metric bisimulation distance of PTSS. | - |
| dc.description | Fil: D'argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba; Argentina | - |
| dc.description | Fil: Gebler, Daniel. University Amsterdam; Países Bajos | - |
| dc.description | Fil: Lee, Matias David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba; Argentina | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Springer Verlag Berlín | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/978-3-642-54830-7_19 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007%2F978-3-642-54830-7_19 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.subject | STRUCTURED OPERATIONAL SEMANTICS | - |
| dc.subject | PROBABILISTIC TRANSITION SYSTEMS | - |
| dc.subject | PROCESS ALGEBRA | - |
| dc.subject | BISIMULATION | - |
| dc.subject | Ciencias de la Computación | - |
| dc.subject | Ciencias de la Computación e Información | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.