2171 search results - page 183 / 435 » A Generic Process Algebra |
123
Voted
WCE
2007
15 years 4 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...
120
click to vote
CORR
2010
Springer
15 years 3 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...
127
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
119
click to vote
IIE
2006
15 years 3 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
136
click to vote
IANDC
2010
15 years 25 days ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...