Catálogo de publicaciones - libros

Compartir en
redes sociales


A Theory of Distributed Object: Asynchrony - Mobility - Groups - Components

Denis Caromel Ludovic Henrio

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-20866-2

ISBN electrónico

978-3-540-27245-8

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag Berlin Heidelberg 2005

Tabla de contenidos

Analysis

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part I - Review | Pp. 3-19

Formalisms and Distributed Calculi

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part I - Review | Pp. 21-58

An Imperative Sequential Calculus

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part II - ASP Calculus | Pp. 63-68

Asynchronous Sequential Processes

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part II - ASP Calculus | Pp. 69-74

A Few Examples

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part II - ASP Calculus | Pp. 75-82

Parallel Semantics

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part III - Semantics and Properties | Pp. 87-99

Basic ASP Properties

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part III - Semantics and Properties | Pp. 101-106

Confluence Property

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part III - Semantics and Properties | Pp. 107-120

Determinacy

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part III - Semantics and Properties | Pp. 121-131

More Confluent Features

Denis Caromel; Ludovic Henrio

Determining whether or not a specific protein interacts with another can be accomplished in a number of ways, which can be divided into in vivo or in vitro approaches. The in vivo approaches include yeast two-hybrid, yeast threehybrid, mammalian two-hybrid, one-hybrid, and FRET analyses. While the most common in vitro approaches are glutathione-S-transferase (GST) pulldown assays, co-immunoprecipitation, immune depletion, gel-filtration or sucrose (or glycerol)-density gradient analysis, far-Western blot analysis, and chemical crosslinking. Each one of these assays has strengths and weaknesses and usually a combination of methods can lead a compelling case that a given interaction actually can occur within the cell. Many of these approaches utilize what can be considered transient overexpression of the proteins being studied and this can lead to interactions occurring that do not normally occur under physiologic conditions. Also, upon overexpression a protein may be found in subcellular compartments where they do not normally exist. For example, upon overexpression, a normally cytosolic protein may be found in significant concentrations in the nucleus. Nevertheless, the use of cellular overexpression systems usually yields information that is physiologically relevant. The following section outlines the various approaches that can be taken to document that one protein is capable of interacting with another.

Part IV - A Few More Features | Pp. 137-142