Synchronous products of rewrite systems (extended version)
| Data(s) |
01/03/2016
|
|---|---|
| Resumo |
We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification. |
| Formato |
application/pdf |
| Identificador | |
| Idioma(s) |
en |
| Relação |
http://eprints.ucm.es/39856/ S2013/ICE-2731 TIN2012--39391--C04–04 |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Informática #Software |
| Tipo |
info:eu-repo/semantics/workingPaper NonPeerReviewed |
