4353 search results - page 120 / 871 » Expressiveness of Process Algebras |
156
click to vote
FAC
2010
15 years 4 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
153
click to vote
CMSB
2009
Springer
16 years 3 days ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
144
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...
148
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...
145
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...