7681 search results - page 83 / 1537 » Typed Membrane Systems |
134
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
130
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
164
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
127
click to vote
APAL
2008
15 years 5 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
147
click to vote
COLING
1990
15 years 6 months ago
1990
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...