scientific article; zbMATH DE number 910713
zbMATH Open0934.18007MaRDI QIDQ4885871FDOQ4885871
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Publication date: 26 April 2000
Title of this publication is not available (Why is that?)
Recommendations
concurrency theoryprocesseslivenessspecificationsdeadlock-freedominteraction categoriesspecification structuressemantics of functional and concurrent computation
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (28)
- Graphical reasoning in compact closed categories for quantum computation
- The Calculus of Handshake Configurations
- CPO semantics of timed interactive actor networks
- Fair termination of multiparty sessions
- A specification structure for deadlock-freedom of synchronous processes
- The coinductive resumption monad
- A categorical framework for typing CCS-style process communication
- A Petri Net Model of Handshake Protocols
- Social coordination with locally observable types
- Weakest preconditions in fibrations
- A relation algebraic approach to interaction categories
- Retracing some paths in process algebra
- Safe session-based concurrency with shared linear state
- What are the Fundamental Structures of Concurrency?
- Closing Bell boxing black box simulations in the resource theory of contextuality
- CONCUR 2005 – Concurrency Theory
- Programming interfaces and basic topology
- Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002.
- Conflation Confers Concurrency
- Type and behaviour reconstruction for higher-order concurrent programs
- Concrete process categories
- Coalgebras, Chu spaces, and representations of physical systems
- An Ordered Category of Processes
- Multiparty session types as coherence proofs
- Techniques for Formal Modelling and Analysis of Quantum Systems
- Variations on mobile processes
- Probabilistic measurement, a new tool to compute the spectral-base equilibrium points
- Handshake games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885871)
