A timed model for communicating sequential processes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3902015 (Why is no real title available?)
- scientific article; zbMATH DE number 3902016 (Why is no real title available?)
- scientific article; zbMATH DE number 3902019 (Why is no real title available?)
- scientific article; zbMATH DE number 3926215 (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 4050970 (Why is no real title available?)
- scientific article; zbMATH DE number 3658971 (Why is no real title available?)
- scientific article; zbMATH DE number 795666 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- Communicating sequential processes
- Connections between two theories of concurrency: Metric spaces and synchronization trees
- Processes and the denotational semantics of concurrency
- The expressiveness of CSP with priority
Cited in
(57)- On performance congruences for process algebras
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Process algebra and model checking
- CPO semantics of timed interactive actor networks
- Testing using CSP Models: Time, Inputs, and Outputs
- Laws of mission-based programming
- Denotational models for programming languages: Applications of Banach's fixed point theorem
- Specifying termination in CSP
- Translating between models of concurrency
- scientific article; zbMATH DE number 1231594 (Why is no real title available?)
- Action transducers and timed automata
- A hierarchy of domains for real-time distributed computing
- Axiomatising real-timed processes
- Factorizing proofs in timed CSP
- Metric semantics for true concurrent real time
- A branching time model of CSP
- On timed models and full abstraction
- Sound reasoning in \textit{tock}-CSP
- scientific article; zbMATH DE number 7559462 (Why is no real title available?)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- SAT-based verification for timed component connectors
- The timed failures -- Stability model for CSP
- Duplication of constants in process algebra
- Simulink timed models for program verification
- A process calculus BigrTiMo of mobile systems and its formal semantics
- An operational semantics for timed CSP
- Checking noninterference in timed CSP
- Discussion on: ``Formal specification method for systems automation
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Timed CSP = closed timed automata
- Discrete time process algebra
- Formal Methods at the Crossroads. From Panacea to Foundational Support
- A brief history of process algebra
- Real space process algebra
- Absolute versus relative time in process algebras.
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- A process algebraic framework for specification and validation of real-time systems
- Modeling the distributed termination convention of CSP
- An overview and synthesis on timed process algebras
- Reactive bisimulation semantics for a process algebra with timeouts
- Models for CSP with availability information
- The cones and foci proof technique for timed transition systems
- Real time process algebra
- Safety-critical Java programs from \textsf{Circus} models
- Testing from a stochastic timed system with a fault model
- Discrete time process algebra with abstraction
- scientific article; zbMATH DE number 4011913 (Why is no real title available?)
- Timed testing of concurrent systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- scientific article; zbMATH DE number 2087936 (Why is no real title available?)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
- Bisimulation indexes and their applications
- Specification, testing and implementation relations for symbolic-probabilistic systems
This page was built for publication: A timed model for communicating sequential processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109561)
