4353 search results - page 102 / 871 » Expressiveness of Process Algebras |
140
click to vote
CSFW
1995
IEEE
15 years 7 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
149
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
144
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
NLDB
2004
Springer
15 years 9 months ago
2004
Springer
