Cargando…

Semantics of parallelism: non-interleaving representation of behaviour

Detalles Bibliográficos
Autor principal:	Shields, Michael W
Lenguaje:	eng
Publicado:	Springer 1997
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4471-0933-4 http://cds.cern.ch/record/1608983

Ejemplares similares

Ordered regression models: parallel, partial, and non-parallel alternatives
por: Fullerton, Andrew S, et al.
Publicado: (2016)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Logic with a probability semantics
por: Hailperin, Theodore
Publicado: (2010)

Combinatorial algebra syntax and semantics
por: Sapir, Mark V
Publicado: (2014)

The syntax and semantics of infinitary languages
por: Barwise, Jon
Publicado: (1968)

Integral representations: topics in integral representation theory by I. Reiner integral representations and presentations of finite groups by K. W. Roggenkamp
por: Reiner, Irving, et al.
Publicado: (1979)

Pioneers of representation theory
por: Curtis, Charles W
Publicado: (1999)

Diagrammatic representation and reasoning
por: Anderson, Michael, et al.
Publicado: (2002)

Algorithms for parallel processing
por: Heath, Michael, et al.
Publicado: (1999)

Conference on Non-commutative Geometry and Representation Theory in Mathematical Physics
Publicado: (2004)

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

The lambda calculus: its syntax and semantics
por: Barendregt, Hendrick Pieter
Publicado: (1984)

Introduction to the representation theory of algebras
por: Barot, Michael
Publicado: (2015)

Global optimization with non-convex constraints: sequential and parallel algorithms
por: Strongin, Roman G, et al.
Publicado: (2000)

Indecomposable representations of graphs and algebras
por: Dlab, Vlastimil, et al.
Publicado: (1976)

Group representations
por: Karpilovsky, Gregory
Publicado: (1995)

Glider representations
por: Caenepeel, Frederik, et al.
Publicado: (2019)

Representations of Algebras
por: Dlab, Vlastimil, et al.
Publicado: (1975)

Quiver representations
por: Schiffler, Ralf
Publicado: (2014)

Group representations
por: Karpilovsky, G
Publicado: (1992)

Group representations
por: Karpilovsky, G
Publicado: (1994)

Representations and cohomology
por: Benson, D J
Publicado: (1998)

Representation theory
por: Gelfand, I M
Publicado: (1982)

Groups and representations
por: Alperin, J L, et al.
Publicado: (1995)

Symposium on Representations of Lie Groups
por: Atiyah, Michael Francis, et al.
Publicado: (1979)

The alternative mathematical model of linguistic semantics and pragmatics
por: Novák, Vilém
Publicado: (1992)

Torsion theories, additive semantics, and rings of quotients
por: Lambek, Joachim
Publicado: (1971)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

A general algebraic semantics for sentential logics
por: Font, Josep Maria, et al.
Publicado: (2017)

Pattern Theory: From Representation to Inference
por: Grenander, Ulf, et al.
Publicado: (2007)

Quasi-invariant measures on non-Archimedean groups and semigroups of loops and paths, their representations
por: Lüdkovsky, S V
Publicado: (1998)

Representations of some non-compact groups related to the Poincaré group: lecture notes
por: Gürsey, Feza, et al.
Publicado: (1971)

Induced representations and Banach *-algebraic bundles
por: Fell, James Michael Gardner, et al.
Publicado: (1977)

Quantum groups and their representations
por: Klimyk, A U, et al.
Publicado: (1997)

Tables of representations of simple Lie algebras
por: McKay, Wendy G, et al.
Publicado: (1990)

Algebras and representation theory
por: Erdmann, Karin, et al.
Publicado: (2018)

Decidability and Boolean representations
por: Burris, Stanley, et al.
Publicado: (1981)

An introduction to quiver representations
por: Derksen, Harm, et al.
Publicado: (2017)

Combinatorics of minuscule representations
por: Green, R M
Publicado: (2013)

An introduction to quasigroups and their representations
por: Smith, Jonathan D H
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_ms6ejcobhgfkepeh9m4tc5ss52