Ordering Strict Partial Orders to Model Behavioral Refinement
Software is now ubiquitous and involved in complex interactions with the human users and the physical world in so-called cyber-physical systems where the management of time is a major issue. Separation of concerns is a key asset in the development of these ever more complex systems. Two different ki...
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Open Publishing Association
2018-10-01
|
| Colecção: | Electronic Proceedings in Theoretical Computer Science |
| Acesso em linha: | http://arxiv.org/pdf/1810.09615v1 |