Abstract Physical Traces

Abstract Physical Traces

Библиографические подробности
Главные авторы:	Abramsky, S, Coecke, B
Формат:	Conference item
Опубликовано:	2005

Схожие документы

Physical Traces: Quantum vs. Classical Information Processing
по: Abramsky, S, и др.
Опубликовано: (2003)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
по: Abramsky, S
Опубликовано: (2005)

Physics from Computer Science
по: Abramsky, S, и др.
Опубликовано: (2007)

Toy Quantum Categories (Extended Abstract)
по: Coecke, B, и др.
Опубликовано: (2011)

Toy quantum categories (extended abstract)
по: Coecke, B, и др.
Опубликовано: (2011)

Full Abstraction for PCF (Extended Abstract)
по: Abramsky, S, и др.
Опубликовано: (1994)

Interaction Categories (Extended Abstract)
по: Abramsky, S
Опубликовано: (1993)

Introduction to Abstract Interpretation
по: Abramsky, S, и др.
Опубликовано: (1987)

Observational Logic and Process Semantics (Abstract)
по: Abramsky, S
Опубликовано: (1989)

Abstract Interpretation‚ Logical Relations and Kan Extensions
по: Abramsky, S
Опубликовано: (1990)

Full abstraction for PCF
по: Abramsky, S, и др.
Опубликовано: (2000)

Full Abstraction for PCF
по: Abramsky, S, и др.
Опубликовано: (2000)

Learning symbolic abstractions from system execution traces
по: Yogananda Jeppu, N
Опубликовано: (2022)

Physical abstractions.
по: Yap, Denise Hughes.
Опубликовано: (2012)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
по: Abramsky, S
Опубликовано: (1983)

A Generalized Kahn Principle for Abstract Asynchronous Networks
по: Abramsky, S
Опубликовано: (1990)

A Categorical Semantics of Quantum Protocols
по: Abramsky, S, и др.
Опубликовано: (2004)

A categorical semantics of quantum protocols
по: Abramsky, S, и др.
Опубликовано: (2004)

A Categorical semantics of Quantum Protocols
по: Abramsky, S, и др.
Опубликовано: (2004)

Full Abstraction in the Lazy λ−calculus
по: Abramsky, S, и др.
Опубликовано: (1993)

Nuclear and trace ideals in tensored *−categories
по: Abramsky, S, и др.
Опубликовано: (1999)

Games and Full Abstraction for the Lazy λ−calculus
по: Abramsky, S, и др.
Опубликовано: (1995)

Full Abstraction for Idealized Algol with passive expressions
по: Abramsky, S, и др.
Опубликовано: (1999)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
по: Thomsen, B, и др.
Опубликовано: (2001)

Graphical Calculus for Quantum Key Distribution (Extended Abstract)
по: Coecke, B, и др.
Опубликовано: (2011)

Graphical calculus for quantum key distribution (extended abstract)
по: Coecke, B, и др.
Опубликовано: (2011)

Trace analysis : physical methods/
по: Morrison, George H.
Опубликовано: (1965)

Active learning of abstract system models from traces using model checking
по: Yogananda Jeppu, N, и др.
Опубликовано: (2022)

A fully abstract game semantics for general references
по: Abramsky, S, и др.
Опубликовано: (1998)

Nominal games and Full Abstraction for the Nu−Calculus
по: Abramsky, S, и др.
Опубликовано: (2004)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
по: Abramsky, S, и др.
Опубликовано: (1997)

Abstract Model Specifications for Data Abstractions
по: B_rzin_, Valdis Andris
Опубликовано: (2023)

Abstract and abstracting services/
по: 270078 Collison, Robert Lewis
Опубликовано: (1971)

The body parametric : abstraction of vocal and physical expression in performance
по: Nattinger, Elena Jessop
Опубликовано: (2015)

Coalgebras‚ chu spaces‚ and representations of physical systems
по: Abramsky, S
Опубликовано: (2010)

Coalgebras‚ Chu Spaces‚ and Representations of Physical Systems
по: Abramsky, S
Опубликовано: (2009)

Coalgebras, Chu Spaces, and Representations of Physical Systems
по: Abramsky, S
Опубликовано: (2009)

Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation
по: Abramsky, S
Опубликовано: (2008)

Big Toy Models: Representing Physical Systems As Chu Spaces
по: Abramsky, S
Опубликовано: (2009)

PHASE: PHysically-grounded Abstract Social Events for Machine Social Perception
по: Netanyahu, Aviv, и др.
Опубликовано: (2022)