scientific article; zbMATH DE number 1088044
From MaRDI portal
Publication:4364392
zbMATH Open0882.18002MaRDI QIDQ4364392
Samson Abramsky, Rajagopal Nagarajan, Simon J. Gay
Publication date: 17 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
divergencedeadlock-freedomalternating-bit protocolsafety specificationsasynchronous concurrent systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Categories of machines, automata (18B20)
Related Items (5)
Comparing type systems for deadlock freedom ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ An extensional treatment of lazy data flow deadlock ⋮ A type system for lock-free processes ⋮ A categorical framework for typing CCS-style process communication
This page was built for publication:
