12115 search results - page 11 / 2423 » Bisimulation of Dynamical Systems |
110
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
106
click to vote
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
86
Voted
LFCS
1997
Springer
15 years 6 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
143
Voted
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
93
Voted
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...