Search Sciweavers | Sciweavers

681 search results - page 17 / 137

» A Logic for True Concurrency

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 3 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 1 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

15 years 1 months ago

Download www.dis.uniroma1.it

Luca Iocchi, Daniele Nardi, Riccardo Rosati

claim paper

Read More »

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

14 years 11 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

Voted

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers