691 search results - page 36 / 139 » Equational Abstractions |
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
CMA
2010
13 years 7 months ago
2010
Abstract. Previous work [51] showed how to solve time-fractional diffusion equations by particle tracking. This paper extends the method to the case where the order of the fraction...
GIAE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
ECOOP
1987
Springer
14 years 1 months ago
1987
Springer
``Object-Oriented Programming'' and ``Data Abstraction'' have become very common terms. Unfortunately, few people agree on what they mean. I will offer informa...
IANDC
2010
13 years 8 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...