Architectural CCS

DOI10.1007/BF01214555MaRDI QIDQ1914040zbMATH OpenOpenAlexFDO

Authors Padmanabhan Krishnan

Publication date 22 September 1996

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01214555

zbMATH Keywords

CCS principledistributed memory systemsshared memory systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computer system organization (68M99)

Recommendations

• Distributed bisimulations
• scientific article; zbMATH DE number 3986626
• scientific article; zbMATH DE number 4035159
• A theory of processes with localities
• scientific article; zbMATH DE number 176155

Cites work

• A distributed operational semantics of CCS based on condition/event systems
• Calculi for synchrony and asynchrony
• Distributed bisimulations
• Generative communication in Linda
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42237 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 176129 (Why is no real title available?)
• scientific article; zbMATH DE number 1142328 (Why is no real title available?)
• Modeling concurrency with partial orders
• The chemical abstract machine

Cited in

(2)

• A format for semantic equivalence comparison
• Contest architecture

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Architectural CCS

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