2470 search results - page 3 / 494 » Liveness-Preserving Simulation Relations |
MOR
2006
13 years 5 months ago
2006
AMC
2011
13 years 24 days ago
2011
Abstract. In this paper we obtain some inequalities related to the generalized triangle and quadratic triangle inequalities for vectors in inner product spaces. Some results that e...
ENTCS
2008
13 years 5 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
CONTEXT
2007
Springer
13 years 9 months ago
2007
Springer
The paper presents an approach for automatically extracting views from a relational database schema, based on the knowledge of the application domain. In order to achieve such resu...