946 search results - page 49 / 190 » Process Algebra and Non-Interference |
225
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
177
Voted
CALCO
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
128
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
144
click to vote
TCS
2008
15 years 5 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
180
click to vote
BIS
2006
15 years 6 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...