12115 search results - page 33 / 2423 » Bisimulation of Dynamical Systems |
108
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
158
Voted
CUZA
2002
15 years 3 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
141
click to vote
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
121
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
128
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...