2171 search results - page 30 / 435 » A Generic Process Algebra |
78
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
105
Voted
JLP
2007
15 years 16 days ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
76
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
110
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
98
Voted
FORTE
2010
15 years 2 months ago
2010
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 syst...