Interaction Categories and the Foundations of Typed Concurrent Programming

Interaction Categories and the Foundations of Typed Concurrent Programming

Bibliographic Details
Main Authors:	Abramsky, S, Gay, S, Nagarajan, R
Format:	Conference item
Published:	Springer−Verlag 1996

Similar Items

Specification Structures and Propositions−as−Types for Concurrency
by: Abramsky, S, et al.
Published: (1996)

Concurrent Interaction Games
by: Abramsky, S
Published: (2000)

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

Specifying Interaction Categories
by: Pavlovic, D, et al.
Published: (1997)

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

A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems
by: Abramsky, S, et al.
Published: (1997)

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1992)

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1994)

A Specification Structure for Deadlock−freedom of Synchronous Processes
by: Abramsky, S, et al.
Published: (1999)

Robin Milner's Work on Concurrency
by: Abramsky, S
Published: (2010)

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

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

Sequentiality vs. concurrency in games and logic
by: Abramsky, S
Published: (2003)

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

Concurrent Games and Full Completeness
by: Abramsky, S, et al.
Published: (1999)

Reasoning about concurrent systems: a functional approach
by: Abramsky, S
Published: (1984)

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

Foundations of Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Concurrent Dynamics of Category Learning and Metacognitive Judgments
by: Valnea Žauhar, et al.
Published: (2016-09-01)

Semantic Foundations for Applicative Multiprogramming
by: Abramsky, S
Published: (1983)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2005)

What are the fundamental structures of concurrency?: We still don't know!
by: Abramsky, S
Published: (2006)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2006)

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

Arboreal Categories: An Axiomatic Theory of Resources
by: Samson Abramsky, et al.
Published: (2023-08-01)

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

Concurrent Kleene Algebra and its Foundations
by: Hoare, T, et al.
Published: (2011)

Concurrent programming /
by: 361244 Burns, Alan, et al.
Published: (1993)

Concurrent programming /
by: Norain Gehani, et al.
Published: (1988)

Concurrent Programming
by: Bryant, Randal E., et al.
Published: (2023)

Revisiting differential categories: new results on the foundation of differentiation
by: Lemay, JSP
Published: (2021)

On quasi-categories as a foundation for higher algebraic stacks
by: Nichols-Barrer, Joshua Paul
Published: (2007)

Non-Blocking Concurrent Imperative Programming with Session Types
by: Miguel Silva, et al.
Published: (2017-01-01)

ORGANIZATIONAL FOUNDATIONS OF THE LEGAL CATEGORY «COMPLIANCE» IN THE BANKING SYSTEM OF UKRAINE
by: Pitsyk K.
Published: (2023-03-01)

Concurrent programming in ERLANG /
by: Armstrong, Joe
Published: (1996)

Concurrent programming in ML /
by: 178781 Reppy, John H.
Published: (2007)

Concurrent programming on windows /
by: Duffy, Joe, 1980-
Published: (2009)

Concurrent programming for software...

Architecture of concurrent programs /
by: 393816 Brinch Hansen, Per
Published: (1977)

Concurrent program structures /
by: Bustard, David, 1949-, et al.
Published: (1988)