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 theoryprocesseslivenessspecificationsdeadlock-freedominteraction categoriesspecification structuressemantics of functional and concurrent computation

Mathematics Subject Classification ID

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)

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
• The Calculus of Handshake Configurations
• CPO semantics of timed interactive actor networks
• Specification structures and propositions-as-types for concurrency
• 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
• Social coordination with locally observable types
• A Petri Net Model of Handshake Protocols
• Weakest preconditions in fibrations
• A relation algebraic approach to interaction categories
• Retracing some paths in process algebra
• Conflation confers concurrency
• Safe session-based concurrency with shared linear state
• 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.
• 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
• What are the fundamental structures of concurrency? We still don't know!
• Multiparty session types as coherence proofs
• Techniques for Formal Modelling and Analysis of Quantum Systems
• Variations on mobile processes
• Handshake games
• Probabilistic measurement, a new tool to compute the spectral-base equilibrium points

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)