946 search results - page 9 / 190 » Process Algebra and Non-Interference |
SOSL
1993
14 years 1 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
ENTCS
2006
13 years 9 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
CIE
2010
Springer
14 years 2 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
ACS
2011
13 years 4 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...