7681 search results - page 82 / 1537 » Typed Membrane Systems |
153
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
116
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
With the growing adoption of service-oriented computing, locating services becomes increasingly commonplace. Accordingly, a large number of systems for service discovery have been ...
132
click to vote
POS
1990
Springer
15 years 9 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
165
click to vote
ACTA
2005
15 years 5 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
120
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...