Forgetting the Time in Timed Process Algebra - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Forgetting the Time in Timed Process Algebra

Anton Wijs
  • Fonction : Auteur
  • PersonId : 905830

Résumé

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.
Fichier principal
Vignette du fichier
61170108.pdf (415.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01055216 , version 1 (11-08-2014)

Licence

Paternité

Identifiants

Citer

Anton Wijs. Forgetting the Time in Timed Process Algebra. 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. pp.110-124, ⟨10.1007/978-3-642-13464-7_10⟩. ⟨hal-01055216⟩
54 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More