A timed model for communicating sequential processes
From MaRDI portal
Publication:1109561
DOI10.1016/0304-3975(88)90030-8zbMath0655.68031OpenAlexW2126860147MaRDI QIDQ1109561
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(88)90030-8
verificationdivergencecommunicating sequential processesdeadlocksemantics specificationtopological domains
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Sound reasoning in \textit{tock}-CSP, Real space process algebra, Testing using CSP Models: Time, Inputs, and Outputs, Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation, A hierarchy of domains for real-time distributed computing, Factorizing proofs in timed CSP, Axiomatising real-timed processes, Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions, Specification, testing and implementation relations for symbolic-probabilistic systems, Process Algebra and Model Checking, Discrete time process algebra with abstraction, Timed testing of concurrent systems, Real time process algebra, Duplication of constants in process algebra, Discrete time process algebra, A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, Translating between models of concurrency, Specifying termination in CSP, Checking noninterference in timed CSP, Reactive bisimulation semantics for a process algebra with timeouts, SAT-based verification for timed component connectors, Safety-critical Java programs from \textsf{Circus} models, Unnamed Item, CPO semantics of timed interactive actor networks, A process algebraic framework for specification and validation of real-time systems, Metric semantics for true concurrent real time, An introduction to metric semantics: Operational and denotational models for programming and specification languages, A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets, Unnamed Item, A brief history of process algebra, A process calculus BigrTiMo of mobile systems and its formal semantics, Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Testing from a stochastic timed system with a fault model, Action transducers and timed automata, The timed failures -- Stability model for CSP, On performance congruences for process algebras, Simulink Timed Models for Program Verification, Denotational models for programming languages: Applications of Banach's fixed point theorem, Absolute versus relative time in process algebras., Bisimulation indexes and their applications, The cones and foci proof technique for timed transition systems, Discussion on: ``Formal specification method for systems automation, Laws of mission-based programming
Cites Work
- The expressiveness of CSP with priority
- Connections between two theories of concurrency: Metric spaces and synchronization trees
- A Theory of Communicating Sequential Processes
- Communicating sequential processes
- Processes and the denotational semantics of concurrency
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
