104 search results - page 1 / 21 » Action Abstraction in Timed Process Algebra |
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
FUIN
2002
13 years 4 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
ENTCS
2010
13 years 2 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...