ENTCS 2007 | Sciweavers

14

ENTCS
2007

82views more ENTCS 2007»

On the Computational Representation of Classical Logical Connectives

13 years 5 months ago

Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...

Jayshan Raghunandan, Alexander J. Summers

claim paper

Read More »

6

click to vote

ENTCS
2007

88views more ENTCS 2007»

A Linear-time Tissue P System Based Solution for the 3-coloring Problem

13 years 5 months ago

Download www.cs.us.es

Daniel Díaz-Pernil, Miguel A. Gutiér...

claim paper

Read More »

15

click to vote

ENTCS
2007

112views more ENTCS 2007»

A Calculus of Global Interaction based on Session Types

13 years 5 months ago

Download www.eecs.qmul.ac.uk

This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...

Marco Carbone, Kohei Honda, Nobuko Yoshida

claim paper

Read More »

16

click to vote

ENTCS
2007

94views more ENTCS 2007»

Virtual Organizations in Arigatoni

13 years 5 months ago

Download www-sop.inria.fr

Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...

Michel Cosnard, Luigi Liquori, Raphaël Chand

claim paper

Read More »

6

click to vote

ENTCS
2007

94views more ENTCS 2007»

Membrane Systems with Marked Membranes

13 years 5 months ago

Download www.cosbi.eu

Robert Brijder, Matteo Cavaliere, Agustin Riscos-N...

claim paper

Read More »

3

click to vote

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

13 years 5 months ago

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M...

claim paper

Read More »

13

click to vote

ENTCS
2007

94views more ENTCS 2007»

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption

13 years 5 months ago

Download www.lsv.ens-cachan.fr

Pascal Lafourcade

claim paper

Read More »

4

click to vote

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

13 years 5 months ago

Download www.computing.surrey.ac.uk

Juliana Küster Filipe, Sotiris Moschoyiannis

claim paper

Read More »

11

click to vote

ENTCS
2007

107views more ENTCS 2007»

Dynamic Contextual Adaptation

13 years 5 months ago

Download www.di.unipi.it

When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their develope...

Antonio Brogi, Javier Cámara, Carlos Canal,...

claim paper

Read More »

11

click to vote

ENTCS
2007

73views more ENTCS 2007»

Towards Multiple Access in Generic Component Architectures

13 years 5 months ago

Download tfs.cs.tu-berlin.de

r introduces an abstract framework for the speciﬁcation of components with multiple require and provide interfaces that allows the speciﬁcation of multiple access to a single ...

Markus Klein, Julia Padberg, Fernando Orejas

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers