7557 search results - page 115 / 1512 » Modeling Timed Concurrent Systems |
121
click to vote
ICPADS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
146
click to vote
LICS
1998
IEEE
15 years 5 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
111
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...