4353 search results - page 64 / 871 » Expressiveness of Process Algebras |
150
click to vote
IEEEARES
2009
IEEE
16 years 1 days ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
170
click to vote
ICMCS
1994
IEEE
15 years 9 months ago
1994
IEEE
Algebraic video uses a set of basic operations on video segments to create a desired video stream. The video algebraconsists ofoperations fortemporallyand spatially combining vide...
170
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...
157
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
163
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...