Search Sciweavers | Sciweavers

884 search results - page 33 / 177

» The Linear Logic of Multisets

click to vote

BANFF
1995

147views Distributed And Parallel Com...» more BANFF 1995»

An Automata-Theoretic Approach to Linear Temporal Logic

14 years 15 days ago

Download people.na.infn.it

The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program speciﬁcation, veriﬁcation, and synthesis. Both programs ...

Moshe Y. Vardi

claim paper

Read More »

click to vote

ICWS
2003
IEEE

157views Internet Technology» more ICWS 2003»

Application of Linear Logic to Web Service Composition

13 years 10 months ago

Download www.cs.cmu.edu

In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...

Jinghai Rao, Peep Küngas, Mihhail Matskin

claim paper

Read More »

click to vote

CTCS
1989
Springer

143views Programming Languages» more CTCS 1989»

Quantitative Domains, Groupoids and Linear Logic

14 years 1 months ago

Download www.cs.man.ac.uk

We introduce the notion of a candidate for “multiple valued universal constructions” and deﬁne stable functors (which generalise functors with left adjoints) in terms of fac...

Paul Taylor 0002

claim paper

Read More »

click to vote

ICALP
2009
Springer

94views Programming Languages» more ICALP 2009»

An Explicit Formula for the Free Exponential Modality of Linear Logic

14 years 9 months ago

Download www.pps.jussieu.fr

Christine Tasson, Nicolas Tabareau, Paul-Andr&eacu...

claim paper

Read More »