2272 search results - page 103 / 455 » A Calculus for |
133
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
136
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
136
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
129
click to vote
CONCUR
2006
Springer
15 years 7 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...
129
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...