Specifying Interaction Categories

Specifying Interaction Categories

Bibliographic Details
Main Authors:	Pavlovic, D, Abramsky, S
Format:	Conference item
Published:	Springer Verlag 1997

Similar Items

Specifying Processes
by: Abramsky, S, et al.
Published: (1997)

Interaction Categories (Extended Abstract)
by: Abramsky, S
Published: (1993)

Interaction Categories and Communicating Sequential Processes
by: Abramsky, S
Published: (1994)

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

Arboreal categories and resources
by: Abramsky, S, et al.
Published: (2021)

Tracing Man−in−the−Middle in monoidal categories
by: Pavlovic, D
Published: (2012)

On completeness and cocompleteness in and around small categories
by: Pavlovic, D
Published: (1995)

Logic and categories as tools for building theories
by: Abramsky, S
Published: (2010)

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

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

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

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

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

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

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

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

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

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

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

Specifying secure transport layers
by: Dilloway, C, et al.
Published: (2008)

The promises and pitfalls of specifying situatedness
by: Greenhough, B
Published: (2019)

Specifying Secure Transport Layers
by: Dilloway, C, et al.
Published: (2008)

Specifying Imperative Data Obfuscations
by: Drape, S, et al.
Published: (2007)

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

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

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

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

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

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

Specifying voting protocol using CSP
by: Ban, Ainita, et al.
Published: (2012)

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

Network synthesis for specified transient response
Published: (2004)

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

Specifying characteristics of resilient shaft couplings
by: 8096 British Standards Institution
Published: (1985)

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

Bicommutant categories from fusion categories
by: Henriques, A, et al.
Published: (2016)

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

An attribute grammar approach to specifying Halstead's metrics
by: Abd Ghani, Abdul Azim, et al.
Published: (1996)

Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2004)

Vector quantile regression beyond the specified case
by: Carlier, Guillaume, et al.
Published: (2019)