1022 search results - page 28 / 205 » Relators and Metric Bisimulations |
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...
MFCS
2000
Springer
15 years 3 months ago
2000
Springer
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...
MFCS
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...