4047 search results - page 51 / 810 » Algebraic Model Checking |
ENTCS
2002
13 years 10 months ago
2002
IEEEICCI
2009
IEEE
14 years 5 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
RC
2002
13 years 10 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
TIME
2008
IEEE
14 years 5 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...