scientific article; zbMATH DE number 910713

MaRDI QIDQ4885871zbMATH OpenFDO

Authors Samson Abramsky, Rajagopal Nagarajan, Simon J. Gay

Publication date 26 April 2000

zbMATH Keywords

concurrency theorydeadlock-freedominteraction categorieslivenessprocessessemantics of functional and concurrent computationspecification structuresspecifications

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 860038
• A specification structure for deadlock-freedom of synchronous processes
• CONCUR 2005 – Concurrency Theory
• A relation algebraic approach to interaction categories
• A categorical framework for typing CCS-style process communication

Cited in

(29)

• Graphical reasoning in compact closed categories for quantum computation
• Variations on mobile processes
• A specification structure for deadlock-freedom of synchronous processes
• A relation algebraic approach to interaction categories
• Weakest preconditions in fibrations
• Multiparty session types as coherence proofs
• Programming interfaces and basic topology
• The coinductive resumption monad
• A categorical framework for typing CCS-style process communication
• Concrete process categories
• Handshake games
• Conflation confers concurrency
• An Ordered Category of Processes
• Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002.
• Coalgebras, Chu spaces, and representations of physical systems
• The Calculus of Handshake Configurations
• Type and behaviour reconstruction for higher-order concurrent programs
• Techniques for Formal Modelling and Analysis of Quantum Systems
• A Petri Net Model of Handshake Protocols
• What are the fundamental structures of concurrency? We still don't know!
• CONCUR 2005 – Concurrency Theory
• Retracing some paths in process algebra
• Safe session-based concurrency with shared linear state
• Probabilistic measurement, a new tool to compute the spectral-base equilibrium points
• Specification structures and propositions-as-types for concurrency
• Fair termination of multiparty sessions
• Closing Bell boxing black box simulations in the resource theory of contextuality
• Social coordination with locally observable types
• CPO semantics of timed interactive actor networks

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)