326 search results - page 7 / 66 » Embedding Real Time in Stochastic Process Algebras |
127
click to vote
TCS
2002
15 years 4 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
153
Voted
MPC
2010
Springer
15 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
140
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
125
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
154
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...