Introducing friendly testing
| dc.book.title | V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997 | |
| dc.contributor.author | Llana Díaz, Luis Fernando | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.editor | Fernández Iglesias, Manuel J. | |
| dc.contributor.editor | Llamas Nistal, Martín | |
| dc.contributor.editor | Pazos Arias, José Juan | |
| dc.date.accessioned | 2023-06-20T21:05:25Z | |
| dc.date.available | 2023-06-20T21:05:25Z | |
| dc.date.issued | 1997 | |
| dc.description.abstract | We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new theory is strongly based on De Nicola & Hennessy's work on testing, and the structure of the paper closely follows that of Hennessy's book on the subject. Friendly tests are defined exactly as in his famous book, except that internal actions are not owed. However, this restriction is not enough and we also have to relax the conditions to pass a test in order to obtain the desired notion of friendly testing. Thus we obtain a new testing semantics and a new preorder between processes which is strictly weaker than the relation vmust . As a consequence, a fully abstract denotational semantics can be obtained as a quotient algebra of the corresponding construction for the must semantics, and the addition to the complete axiomatization of the latter of a single conformance axiom, gives us a complete axiomatization of our friendly testing semantics. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20783 | |
| dc.identifier.isbn | 84-8158-065-1 | |
| dc.identifier.officialurl | http://cisne.sim.ucm.es/record=b1912483~S6*spi | |
| dc.identifier.relatedurl | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.280 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60662 | |
| dc.language.iso | eng | |
| dc.page.final | 292 | |
| dc.page.initial | 281 | |
| dc.publisher | Univ. Vigo | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Introducing friendly testing | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 680f556a-4f1b-4eda-9add-da2c9b24796a | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication.latestForDiscovery | 680f556a-4f1b-4eda-9add-da2c9b24796a |
Download
Original bundle
1 - 1 of 1
