scientific article; zbMATH DE number 910713

zbMath0934.18007MaRDI QIDQ4885871

Samson Abramsky, Rajagopal Nagarajan, Simon J. Gay

Publication date: 26 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

livenessinteraction categoriesspecificationsconcurrency theoryprocessesdeadlock-freedomspecification structuressemantics of functional and concurrent computation

Mathematics Subject Classification ID

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) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (18)

Multiparty session types as coherence proofs ⋮ The coinductive resumption monad ⋮ Weakest preconditions in fibrations ⋮ Conflation Confers Concurrency ⋮ Coalgebras, Chu spaces, and representations of physical systems ⋮ An Ordered Category of Processes ⋮ Retracing some paths in process algebra ⋮ Variations on mobile processes ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ CPO semantics of timed interactive actor networks ⋮ A Petri Net Model of Handshake Protocols ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ The Calculus of Handshake Configurations ⋮ A categorical framework for typing CCS-style process communication ⋮ Concrete Process Categories ⋮ Graphical reasoning in compact closed categories for quantum computation ⋮ Handshake Games ⋮ What are the Fundamental Structures of Concurrency?

This page was built for publication: