scientific article; zbMATH DE number 1497811

zbMATH Open0967.68104MaRDI QIDQ4499229FDOQ4499229

Authors: Thomas Hildebrandt 

Publication date: 4 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Semantics for finite delay
• A fixpoint approach to finite delay and fairness
• Presheaf models for CCS-like languages

zbMATH Keywords

presheaf modelpresheaf semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Presheaf models for CCS-like languages
• A logical process calculus

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 Q4499229)