@inproceedings{59fc615f5ec94d31b986850d3d914bd7,
title = "Action abstraction in timed process algebra: the case for an untimed silent step",
abstract = "This paper discusses action abstraction in timed process algebras. It is observed that the leading approaches to action abstraction in timed process algebra all maintain the timing of actions, even if these actions are abstracted from. This paper presents a novel approach to action abstraction in timed process algebras. Characteristic for this approach is that in abstracting from an action, also its timing is abstracted from. We define an abstraction operator and a timed variant of rooted branching bisimilarity and establish that this notion is an equivalence relation and a congruence.",
author = "M.A. Reniers and {Weerdenburg, van}, M.J.",
year = "2007",
doi = "10.1007/978-3-540-75698-9_19",
language = "English",
isbn = "978-3-540-75697-2",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "287--301",
editor = "F. Arbab and M. Sirjani",
booktitle = "International Symposium on Fundamentals of Software Engineering - International Symposium, FSEN 2007, Proceedings",
address = "Germany",
note = "2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007 ; Conference date: 17-04-2007 Through 19-04-2007",
}