1206 search results - page 59 / 242 » Concurrent Abstract Predicates |
79
Voted
DAC
1997
ACM
15 years 4 months ago
1997
ACM
Abstract - This paper describes the development of a concurrent methodology for standard cell library generation. Use of a novel physical design automation method enables a high de...
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
87
Voted
ECEASST
2010
14 years 7 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
112
click to vote
CISC
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A public-key cryptosystem is usually used for key management, in particular to session key management. The paper presents a method for handling a batch of concurrent keys...