New Bisimulation Semantics for Distributed Systems
| dc.book.title | Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Rosa Velardo, Fernando | |
| dc.contributor.author | Gregorio Rodríguez, Carlos | |
| dc.contributor.editor | Derrick, John | |
| dc.contributor.editor | Vain, Jüri | |
| dc.date.accessioned | 2023-06-20T13:39:11Z | |
| dc.date.available | 2023-06-20T13:39:11Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. However, they also have some disadvantages: they are based on a sequential operational semantics defined by means of an ordinary transition system, and in order to be bisimilar two systems have to be “too similar”. In this work we will present several natural proposals to define weaker bisimulation semantics that we think properly capture the desired behaviour of distributed systems. The main virtue of all these semantics is that they are real bisimulation semantics, thus inheriting most of the good properties of bisimulation semantics. This is so because they can be defined as particular instances of Jacobs and Hughes’ categorical definition of simulation, which they have already proved to satisfy all those properties. | 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/20744 | |
| dc.identifier.citation | Frutos Escrig, D., Rosa Velardo, F. & Gregorio Rodríguez, C. «New Bisimulation Semantics for Distributed Systems». Formal Techniques for Networked and Distributed Systems – FORTE 2007, editado por John Derrick y Jüri Vain, vol. 4574, Springer Berlin Heidelberg, 2007, pp. 143-59. DOI.org (Crossref), https://doi.org/10.1007/978-3-540-73196-2_10. | |
| dc.identifier.doi | 10.1007/978-3-540-73196-2_10 | |
| dc.identifier.isbn | 978-3-540-73195-5 | |
| dc.identifier.officialurl | https//doi.org/10.1007/978-3-540-73196-2_10 | |
| dc.identifier.relatedurl | http://link.springer.com/content/pdf/10.1007%2F978-3-540-73196-2_10 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53222 | |
| dc.issue.number | 4574 | |
| dc.language.iso | eng | |
| dc.page.final | 159 | |
| dc.page.initial | 143 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.relation.projectID | DESAFIOS TIN2006-15660-C02- 02 | |
| dc.relation.projectID | WEST TIN2006-15578-C02-01 | |
| dc.relation.projectID | PROMESAS-CAM S-0505/TIC/0407 | |
| 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 | New Bisimulation Semantics for Distributed Systems | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication | 7336c678-f58a-4893-a476-d20175ce7728 | |
| relation.isAuthorOfPublication | 05a01c46-aac8-42b2-a6bc-4b95860cf5bf | |
| relation.isAuthorOfPublication.latestForDiscovery | 7336c678-f58a-4893-a476-d20175ce7728 |
Download
Original bundle
1 - 1 of 1
