4353 search results - page 9 / 871 » Expressiveness of Process Algebras |
PODS
2005
ACM
14 years 7 months ago
2005
ACM
We show that any expression of the relational division operator in the relational algebra with union, difference, projection, selection, constant-tagging, and joins, must produce ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In a former work of ours [I], we proposed a new way to express and interpret the epipolar constraint using Geometric Algebra, and we derived from it a novel and efficient2view cam...
CAI
2009
Springer
14 years 2 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
ENTCS
2007
13 years 7 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
FCT
2003
Springer
14 years 19 days ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...