946 search results - page 64 / 190 » Process Algebra and Non-Interference |
143
click to vote
APLAS
2009
ACM
16 years 1 days ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
147
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
144
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
158
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
136
Voted
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...