Search Sciweavers | Sciweavers

1490 search results - page 16 / 298

» Interactive semantics

click to vote

TCS
2008

120views Theoretical Computer Science» more TCS 2008»

CPO semantics of timed interactive actor networks

13 years 7 months ago

Download www.eecs.berkeley.edu

Xiaojun Liu, Edward A. Lee

claim paper

Read More »

click to vote

JUCS
2002

83views more JUCS 2002»

XML and MPEG-7 for Interactive Annotation and Retrieval using Semantic Meta-data

13 years 7 months ago

Download mistral-project.tugraz.at

Mathias Lux, Werner Klieber, Jutta Becker, Klaus T...

claim paper

Read More »

click to vote

MSCS
2007

70views more MSCS 2007»

A denotational semantics for the symmetric interaction combinators

13 years 7 months ago

Download www-lipn.univ-paris13.fr

Damiano Mazza

claim paper

Read More »

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Ludics Nets, a game Model of Concurrent Interaction

14 years 1 months ago

Download www.pps.jussieu.fr

We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...

Claudia Faggian, François Maurel

claim paper

Read More »

click to vote

CALCO
2009
Springer

158views Mathematics» more CALCO 2009»

Coalgebraic Symbolic Semantics

14 years 2 months ago

Download www.di.unipi.it

The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is deﬁned in terms of bisimilarity) is characterized...

Filippo Bonchi, Ugo Montanari

claim paper

Read More »

« Prev « First page 16 / 298 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers