4047 search results - page 51 / 810 » Algebraic Model Checking |
73
Voted
ENTCS
2002
15 years 14 days ago
2002
134
Voted
IEEEICCI
2009
IEEE
15 years 7 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...
107
Voted
RC
2002
15 years 9 days 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...
93
Voted
TIME
2008
IEEE
15 years 7 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...
92
Voted
SEFM
2005
IEEE
15 years 6 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...