4397 search results - page 83 / 880 » Relational Algebra Operations |
118
click to vote
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
96
Voted
IPL
1998
15 years 2 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
118
click to vote
TAP
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
ENTCS
2008
15 years 2 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
116
Voted
SACMAT
2004
ACM
15 years 7 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...