flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
New Search Save Search Refine Search
Results
author = "Latella D."
1 2 3 4 5 > >>

Found 68 documents, displaying page 1 of 7

A model for a Distributed Directory System

Author(s) : Latella D.
Description : this document presents the spectrtcatton of a distributed algorithm for the name resolution problem In distributed directory systems. The algorithm essenttally performs the search1ng In the Name Tree, also mantatntng a distrbuted cache or network addresses, structured as a tree, to reduce the cost o...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

Corsa agli armamenti, tecnologie avanzate e prospettive di disarmo. Raccolta degli abstracts

Author(s) : Latella D.
Description : No abstract available
Repository : National Research Council Pisa - ISTI Repository
Language(s) : Italian

LOCUS MIRANDUM a functional environment for the implementation of view functions for lotos

Author(s) : Latella D.
Description : In the context of LOTOS to LOTOS transformations there aspects ofspecifications which are useful for the definition of transformations, but which are not captured directly b y the LOTOS standard semantics even if they can be derived from it. Examples of such aspects are the set of gates of a specifi...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

An overview of spin - Foils

Author(s) : Latella D.
Description : No abstract available
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

Il caso dei robot Killer

Author(s) : Latella D.
Description : No abstract available
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

A proposal for a calculus of probabilistic processes

Author(s) : Latella D. , Quaglia P.
Description : In this paper we propose a probabilistic extension of a non interleaving; fully parallel semantics for basic LOTOS. Such a semantics is somehow in between Milner's SCCS and ASCCS in fact independent actions are performed simultaneously, whereas synchronization is achieved by means of delay. On the o...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

Gate splitting in lotos specifications using abstract interpretation

Author(s) : Giannotti F. , Latella D.
Description : In this paper the technique for an efficient solution to the problem of gate splitting in LOTOS specifications is presented. The transformation problem is part of a design methodology based on the specification language LOTOS. The problem is formally defined. The technique is based on Abstract Inter...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

A calculus of probabilistic synchronizing processes and some applications

Author(s) : Latella D. , Quaglia P.
Description : We propose a probabilistic calculus for parallel processes with explicit synchronization. The calculus is rather different from those already proposed in that it has a peculiar view of parallelism. In fact while on the one hand the calculus was strongly inspired by LOTOS, with which it shares explic...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

Testing theory in a functional process algebra

Author(s) : Latella D. , Massink M.
Description : In this paper we present an algebra of processes with input and output. The key point is the conceptual distinction between input and output actions.We give an operational semantics and a notion of testing where the experimenter is not allowed to restrict the output possibilities of the process unde...
Repository : National Research Council Pisa - ISTI Repository
Language(s) : English

Implementazione in SML di un traduttore da automi gerarchici a Promela

Author(s) : Giusti E. , Latella D.
Description : No abstract available
Repository : National Research Council Pisa - ISTI Repository
Language(s) : Italian
1 2 3 4 5 > >>

Found 68 documents, displaying page 1 of 7