2272 search results - page 191 / 455 » A Calculus for |
139
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
108
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
105
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
146
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
136
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...