2171 search results - page 3 / 435 » A Generic Process Algebra |
CAI
2009
Springer
13 years 11 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
SMA
2008
ACM
13 years 5 months ago
2008
ACM
We present a generic framework on a set of surfaces S in
TAPSOFT
1995
Springer
13 years 8 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
COMPGEOM
2011
ACM
12 years 8 months ago
2011
ACM
We report on a generic uni- and bivariate algebraic kernel that is publicly available with Cgal 3.7. It comprises complete, correct, though efficient state-of-the-art implementati...
CN
2006
13 years 5 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...