A categorical framework for typing CCS-style process communication

DOI10.1016/S1571-0661(04)80500-0MaRDI QIDQ2841310zbMATH OpenFDO

Authors Ralf Schweimeier

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80500-0

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3936529
• scientific article; zbMATH DE number 3970096
• scientific article; zbMATH DE number 4039255
• scientific article; zbMATH DE number 910713
• The categorical framework of object-oriented concurrent systems

Cites work

• A calculus of mobile processes. II
• Assigning types to processes
• Calculi for interaction
• Calculi for synchrony and asynchrony
• Categorical logic and type theory
• Categories for Types
• Closed action calculi
• Coherence for compact closed categories
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1330438 (Why is no real title available?)
• scientific article; zbMATH DE number 1330455 (Why is no real title available?)
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• scientific article; zbMATH DE number 1088044 (Why is no real title available?)
• scientific article; zbMATH DE number 1499084 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1555188 (Why is no real title available?)
• scientific article; zbMATH DE number 1759424 (Why is no real title available?)
• scientific article; zbMATH DE number 1759483 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 860038 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• scientific article; zbMATH DE number 1418361 (Why is no real title available?)
• Normal forms for algebras of connections.
• Retracing some paths in process algebra
• Traced monoidal categories
• Trust and partial typing in open systems of mobile agents

Cited in

(5)

• The categorical framework of object-oriented concurrent systems
• Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002.
• scientific article; zbMATH DE number 3936529 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus

This page was built for publication: A categorical framework for typing CCS-style process communication

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