Recursion induction for real-time processes

DOI10.1007/BF01211248MaRDI QIDQ1329195zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jim Davies, S. A. Schneider

Publication date 29 June 1994

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

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

zbMATH Keywords

communicating sequential processestimed distributed systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Distributed algorithms (68W15)

Recommendations

• A process algebra for timed systems
• Specification and Proof in Real Time CSP
• scientific article; zbMATH DE number 1678357
• Factorizing proofs in timed CSP
• A brief history of Timed CSP

Cites work

• A process algebra for timed systems
• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 3956423 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 140224 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 3476270 (Why is no real title available?)
• scientific article; zbMATH DE number 3595177 (Why is no real title available?)
• On the consistency of Koomen's fair abstraction rule
• Real time process algebra

Cited in

(10)

• Real-time properties of indirect recursive procedures
• Reactive bisimulation semantics for a process algebra with timeouts
• An algebraic approach for compiling real-time programs
• May testing, non-interference, and compositionality
• scientific article; zbMATH DE number 7559462 (Why is no real title available?)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Timewise refinement for communicating processes
• Probabilistic communicating processes
• A brief history of Timed CSP
• Fixed points without completeness

This page was built for publication: Recursion induction for real-time processes

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