A CALCULUS OF TIMED COMMUNICATING SYSTEMS

DOI10.1142/S0129054192000176MaRDI QIDQ5286028zbMATH OpenOpenAlexFDO

Authors Padmanabhan Krishnan

Publication date 29 June 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054192000176

zbMATH Keywords

timing constraintsstrong bisimulationpreorder relationstimed CCS

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Timed \(\pi\)-calculus
• TIC: a tImed calculus
• An operational semantics for timed CSP
• scientific article; zbMATH DE number 994050

Cited in

(16)

• scientific article; zbMATH DE number 4119603 (Why is no real title available?)
• A logical encoding of timed \(\pi\)-calculus
• scientific article; zbMATH DE number 140226 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Rule formats for timed processes
• CIRCAL and the representation of communication, concurrency, and time
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• An operational semantics for timed CSP
• scientific article; zbMATH DE number 1759782 (Why is no real title available?)
• A timed calculus for wireless systems
• An algebraic theory of multiple clocks
• A timed calculus for wireless systems
• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• TIC: a tImed calculus
• Timed \(\pi\)-calculus
• scientific article; zbMATH DE number 4011913 (Why is no real title available?)

This page was built for publication: A CALCULUS OF TIMED COMMUNICATING SYSTEMS

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