1012 search results - page 109 / 203 » Process Algebra with Backtracking |
FROCOS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
FMOODS
2000
13 years 9 months ago
2000
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
FORTE
1996
13 years 9 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
WCE
2007
13 years 9 months ago
2007
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...