A CALCULUS OF TIMED COMMUNICATING SYSTEMS
From MaRDI portal
Publication:5286028
DOI10.1142/S0129054192000176zbMATH Open0771.68083OpenAlexW2019137344MaRDI QIDQ5286028FDOQ5286028
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
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Cited In (16)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rule formats for timed processes
- Title not available (Why is that?)
- A logical encoding of timed \(\pi\)-calculus
- Formal Modeling and Analysis of Timed Systems
- An operational semantics for timed CSP
- An algebraic theory of multiple clocks
- TIC: a tImed calculus
- A timed calculus for wireless systems
- Title not available (Why is that?)
- Timed \(\pi\)-calculus
- A timed calculus for wireless systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- CIRCAL and the representation of communication, concurrency, and time
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)