2272 search results - page 27 / 455 » A Calculus for |
99
Voted
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
97
Voted
FUIN
2006
15 years 3 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
138
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
154
click to vote
SLOGICA
2010
14 years 10 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
265
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...