2517 search results - page 5 / 504 » Specifying Weak Sets |
MLQ
2008
13 years 7 months ago
2008
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
BIRTHDAY
2005
Springer
14 years 25 days ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...
CCCG
2006
13 years 8 months ago
2006
We study the problem of finding small weak -nets in three dimensions and provide new upper and lower bounds on the value of for which a weak -net of a given small constant size e...
CATS
2008
13 years 8 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...