Specifying Interaction Categories

Specifying Interaction Categories

Dettagli Bibliografici
Autori principali:	Pavlovic, D, Abramsky, S
Natura:	Conference item
Pubblicazione:	Springer Verlag 1997

Documenti analoghi

Specifying Processes
di: Abramsky, S, et al.
Pubblicazione: (1997)

Interaction Categories (Extended Abstract)
di: Abramsky, S
Pubblicazione: (1993)

Interaction Categories and Communicating Sequential Processes
di: Abramsky, S
Pubblicazione: (1994)

Interaction Categories and the Foundations of Typed Concurrent Programming
di: Abramsky, S, et al.
Pubblicazione: (1996)

Arboreal categories and resources
di: Abramsky, S, et al.
Pubblicazione: (2021)

Tracing Man−in−the−Middle in monoidal categories
di: Pavlovic, D
Pubblicazione: (2012)

On completeness and cocompleteness in and around small categories
di: Pavlovic, D
Pubblicazione: (1995)

Logic and categories as tools for building theories
di: Abramsky, S
Pubblicazione: (2010)

Introduction to categories and categorical logic
di: Abramsky, S, et al.
Pubblicazione: (2010)

Chu I: cofree equivalences‚ dualities and −autonomous categories
di: Pavlovic, D
Pubblicazione: (1997)

Eating disorder NOS (EDNOS): an example of the troublesome "not otherwise specified" (NOS) category in DSM-IV.
di: Fairburn, C, et al.
Pubblicazione: (2005)

An Internal Language for Autonomous Categories
di: Mackie, I, et al.
Pubblicazione: (1993)

Convenient categories of processes and simulations I: modulo strong bisimilarity
di: Pavlovic, D
Pubblicazione: (1995)

Categories of processes enriched in final coalgebras
di: Krsti/'c, S, et al.
Pubblicazione: (2001)

Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
di: Pavlovic, D
Pubblicazione: (1996)

Nuclear and trace ideals in tensored *−categories
di: Abramsky, S, et al.
Pubblicazione: (1999)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
di: Abramsky, S
Pubblicazione: (2005)

Relating toy models of quantum computation: comprehension‚ complementarity and dagger autonomous categories
di: Pavlovic, D
Pubblicazione: (2011)

Specifying and Implementing Refactorings
di: Schäfer, M, et al.
Pubblicazione: (2010)

Specifying secure transport layers
di: Dilloway, C, et al.
Pubblicazione: (2008)

The promises and pitfalls of specifying situatedness
di: Greenhough, B
Pubblicazione: (2019)

Specifying Secure Transport Layers
di: Dilloway, C, et al.
Pubblicazione: (2008)

Specifying Imperative Data Obfuscations
di: Drape, S, et al.
Pubblicazione: (2007)

Producing concrete with specified quality /
di: 352435 Brewer, William E.

Method for specifying thermal insulating...
di: 8096 British Standards Institution

Specifying timber for building construction
Pubblicazione: ([19-)

Specifying and Verifying Systems with Multiple Clocks
di: Clarke, E, et al.
Pubblicazione: (2003)

Specifying and verifying systems with multiple clocks
di: Clarke, E, et al.
Pubblicazione: (2003)

Novel software tool for specifying functionality realization without physical component interaction
di: Li, Ye.
Pubblicazione: (2008)

Robust portfolio optimisation with specified competitors
di: Simões, G, et al.
Pubblicazione: (2018)

Bicommutant categories from fusion categories
di: Henriques, A, et al.
Pubblicazione: (2016)

Exact categories and categories of sheaves /
di: 312890 Barr, Michael, et al.
Pubblicazione: (1971)

Specifying voting protocol using CSP
di: Ban, Ainita, et al.
Pubblicazione: (2012)

Specifying crash safety for storage systems
di: Chen, Haogang, et al.
Pubblicazione: (2021)

Network synthesis for specified transient response
Pubblicazione: (2004)

Appraising and specifying new construction materials /
di: 249920 Cairns, A. Hunter
Pubblicazione: (1987)

The CFA flooring compendium for architects and specifiers
di: 466477 Contract Flooring Association (Great Britain)

IHIE short report : specifying blacktop /
di: 464831 Venton, J.

Specifying electronic typographic markup (SETM)
di: 8096 British Standards Institution

Specifying characteristics of resilient shaft couplings
di: 8096 British Standards Institution
Pubblicazione: (1985)