1532 search results - page 136 / 307 » An Algebraic Process Calculus |
138
click to vote
ER
2000
Springer
15 years 8 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
131
click to vote
TCS
2008
15 years 4 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
162
click to vote
CASC
2006
Springer
15 years 8 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
127
click to vote
APAL
2007
15 years 4 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
139
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...