A specification structure for deadlock-freedom of synchronous processes

DOI10.1016/S0304-3975(98)00189-3MaRDI QIDQ1960536zbMATH OpenOpenAlexWikidataFDO

Authors Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Publication date 12 January 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00189-3

zbMATH Keywords

interaction categoriesspecification structures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Deadlock free specification based on local process properties
• scientific article; zbMATH DE number 1231692
• An Expressive Framework for Verifying Deadlock Freedom
• scientific article; zbMATH DE number 1088044
• Deadlock-freedom in component systems with architectural constraints
• Structure-based deadlock checking of asynchronous circuits
• A New Type System for Deadlock-Free Processes
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Verification, Model Checking, and Abstract Interpretation

Cites work

• scientific article; zbMATH DE number 4005580 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3720983 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 53706 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1231692 (Why is no real title available?)
• scientific article; zbMATH DE number 1086716 (Why is no real title available?)
• scientific article; zbMATH DE number 1088044 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A Theory of Communicating Sequential Processes
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• A specification structure for deadlock-freedom of synchronous processes
• An extensional treatment of dataflow deadlock
• Basic category theory for models of syntax.
• Coherence for compact closed categories
• Computational interpretations of linear logic
• Domain theory in logical form
• Games and full completeness for multiplicative linear logic
• Linear logic
• Linear logic, coherence and dinaturality
• New foundations for the geometry of interaction
• Parametricity and local variables
• Process Algebra
• Proofs as processes
• Relational properties of domains
• Retracing some paths in process algebra
• Traced monoidal categories

Cited in

(7)

• Constructing process categories
• Specification structures and propositions-as-types for concurrency
• A specification structure for deadlock-freedom of synchronous processes
• Formal deadlock elimination in an object oriented conceptual schema
• scientific article; zbMATH DE number 7314999 (Why is no real title available?)
• Deadlock free specification based on local process properties
• Deadlock-freedom in component systems with architectural constraints

Describes a project that uses

Uses Software

• LUSTRE

This page was built for publication: A specification structure for deadlock-freedom of synchronous processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1960536)