Forgetting the Time in Timed Process Algebra

Abstract : In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of system behaviour. Adding this notion leads to so-called partially timed process algebras and partially timed labelled transition systems. We describe these notions, and generalise timed branching bisimilarity to partially timed branching bisimilarity, allowing the comparison of systems with partial timing. Finally, with several examples and a case study, we demonstrate how partial time abstraction can be a useful modelling technique for timed models, which can lead to rigorous minimisations of state spaces.
Type de document :
Communication dans un congrès
John Hatcliff; Elena Zucca. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.110-124, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_10〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055216
Contributeur : Hal Ifip <>
Soumis le : lundi 11 août 2014 - 17:20:11
Dernière modification le : vendredi 11 août 2017 - 16:16:22
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:31:48

Fichier

61170108.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Anton Wijs. Forgetting the Time in Timed Process Algebra. John Hatcliff; Elena Zucca. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.110-124, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_10〉. 〈hal-01055216〉

Partager

Métriques

Consultations de la notice

76

Téléchargements de fichiers

49