Add to ORKGAbstract. A new Stochastic Process Algebra called S-LOTOS is investigated, it extends LOTOS in order to specify the durations of actions in terms of generally distributed functions. We present its operational semantics and its underlying semantic model, called Maximality-based Labeled Stochastic Transition System (MLSTS). With regards to performance properties, we show that MLSTS and ST-semantics (Start-Termination) based models are equivalent, but the former brings more compact structure
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes fro...
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the s...
In this paper we show how to model syntax and semantics of stochastic processes with continuous stat...
Abstract — We introduce a true concurrency stochastic process algebra called S-LOTOS, such that stoc...
Abstract In this paper, a new semantic model is proposed for characterizing the performance properti...
We introduce a unifying framework to provide the semantics of process algebras, including their quan...
We propose a structural operational semantics for mobile and distributed agents. From it we derive a...
In the realm of performance and reliability analysis, high-level specification languages like stocha...
Stochastic Process Algebras (SPA) allow the integration of performance evaluation into early design ...
This paper introduces stochastic process algebras as an approach for the structured design and analy...
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the...
Abstract. We present a process algebra for the performance modeling and evaluation of concurrent sys...
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the...
We present a process algebra for the performance modeling and evaluation of concurrent systems whose...
In the realm of performance and reliability analysis, high-level specification languages like stocha...
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes fro...
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the s...
In this paper we show how to model syntax and semantics of stochastic processes with continuous stat...
Abstract — We introduce a true concurrency stochastic process algebra called S-LOTOS, such that stoc...
Abstract In this paper, a new semantic model is proposed for characterizing the performance properti...
We introduce a unifying framework to provide the semantics of process algebras, including their quan...
We propose a structural operational semantics for mobile and distributed agents. From it we derive a...
In the realm of performance and reliability analysis, high-level specification languages like stocha...
Stochastic Process Algebras (SPA) allow the integration of performance evaluation into early design ...
This paper introduces stochastic process algebras as an approach for the structured design and analy...
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the...
Abstract. We present a process algebra for the performance modeling and evaluation of concurrent sys...
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the...
We present a process algebra for the performance modeling and evaluation of concurrent systems whose...
In the realm of performance and reliability analysis, high-level specification languages like stocha...
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes fro...
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the s...
In this paper we show how to model syntax and semantics of stochastic processes with continuous stat...