Specifying Interaction Categories

Specifying Interaction Categories

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Pavlovic, D, Abramsky, S
বিন্যাস:	Conference item
প্রকাশিত:	Springer Verlag 1997

অনুরূপ উপাদানগুলি

Specifying Processes
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (1997)

Interaction Categories (Extended Abstract)
অনুযায়ী: Abramsky, S
প্রকাশিত: (1993)

Interaction Categories and Communicating Sequential Processes
অনুযায়ী: Abramsky, S
প্রকাশিত: (1994)

Interaction Categories and the Foundations of Typed Concurrent Programming
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (1996)

Arboreal categories and resources
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (2021)

Logic and categories as tools for building theories
অনুযায়ী: Abramsky, S
প্রকাশিত: (2010)

Introduction to categories and categorical logic
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (2010)

An Internal Language for Autonomous Categories
অনুযায়ী: Mackie, I, অন্যান্য
প্রকাশিত: (1993)

Eating disorder NOS (EDNOS): an example of the troublesome "not otherwise specified" (NOS) category in DSM-IV.
অনুযায়ী: Fairburn, C, অন্যান্য
প্রকাশিত: (2005)

Arboreal Categories: An Axiomatic Theory of Resources
অনুযায়ী: Samson Abramsky, অন্যান্য
প্রকাশিত: (2023-08-01)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
অনুযায়ী: Abramsky, S
প্রকাশিত: (2005)

Nuclear and trace ideals in tensored *−categories
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (1999)

Specifying clauses in the administrative-legal style of 19th-century Serbian language
অনুযায়ী: Pavlović-Jovanović Jelena M.
প্রকাশিত: (2024-01-01)

Tracing Man−in−the−Middle in monoidal categories
অনুযায়ী: Pavlovic, D
প্রকাশিত: (2012)

On completeness and cocompleteness in and around small categories
অনুযায়ী: Pavlovic, D
প্রকাশিত: (1995)

Specifying engineer
প্রকাশিত: (1958)

Chu I: cofree equivalences‚ dualities and −autonomous categories
অনুযায়ী: Pavlovic, D
প্রকাশিত: (1997)

Convenient categories of processes and simulations I: modulo strong bisimilarity
অনুযায়ী: Pavlovic, D
প্রকাশিত: (1995)

Categories of processes enriched in final coalgebras
অনুযায়ী: Krsti/'c, S, অন্যান্য
প্রকাশিত: (2001)

Specifying and Implementing Refactorings
অনুযায়ী: Schäfer, M, অন্যান্য
প্রকাশিত: (2010)

Specifying minor works /
অনুযায়ী: Reddin, Patrick. editor
প্রকাশিত: (2014)

Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
অনুযায়ী: Pavlovic, D
প্রকাশিত: (1996)

Relating toy models of quantum computation: comprehension‚ complementarity and dagger autonomous categories
অনুযায়ী: Pavlovic, D
প্রকাশিত: (2011)

Novel software tool for specifying functionality realization without physical component interaction
অনুযায়ী: Li, Ye.
প্রকাশিত: (2008)

Design of Eutectic Solvents with Specified Extraction Properties Based on Intermolecular Interaction Energy
অনুযায়ী: Arina V. Kozhevnikova, অন্যান্য
প্রকাশিত: (2024-10-01)

Specifying and Verifying Systems with Multiple Clocks
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2003)

Specifying and verifying systems with multiple clocks
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2003)

Specifying secure transport layers
অনুযায়ী: Dilloway, C, অন্যান্য
প্রকাশিত: (2008)

The promises and pitfalls of specifying situatedness
অনুযায়ী: Greenhough, B
প্রকাশিত: (2019)

Specifying Secure Transport Layers
অনুযায়ী: Dilloway, C, অন্যান্য
প্রকাশিত: (2008)

Specifying Imperative Data Obfuscations
অনুযায়ী: Drape, S, অন্যান্য
প্রকাশিত: (2007)

Method for specifying thermal insulating...
অনুযায়ী: 8096 British Standards Institution

Specifying timber for building construction
প্রকাশিত: ([19-)

Producing concrete with specified quality /
অনুযায়ী: 352435 Brewer, William E.

Head movement to specifier positions
অনুযায়ী: Boris Harizanov
প্রকাশিত: (2019-12-01)

Specifying the parameters of the Kamianske Reservoir
অনুযায়ী: V. I. Vyshnevskyi, অন্যান্য
প্রকাশিত: (2021-05-01)

Robust portfolio optimisation with specified competitors
অনুযায়ী: Simões, G, অন্যান্য
প্রকাশিত: (2018)

Acute hepatitis of non-specified etiology
অনুযায়ী: Ye. V. Tsyganova, অন্যান্য
প্রকাশিত: (2011-02-01)

Estimated distribution of malaria cases among children in sub-Saharan Africa by specified age categories using data from the Global Burden of Diseases 2019
অনুযায়ী: Olorunfemi A. Oshagbemi, অন্যান্য
প্রকাশিত: (2023-12-01)

Concurrent Interaction Games
অনুযায়ী: Abramsky, S
প্রকাশিত: (2000)