Real time process algebra
From MaRDI portal
Publication:2640341
Recommendations
- Real time process algebra with time-dependent conditions
- Process algebra with timing: Real time and discrete time
- The real-time process algebra (RTPA)
- Process algebra with timing
- A process algebra for timed systems
- A family of resource-bound real-time process algebras
- A real-time process algebra with open intervals and maximal progress
- Process Algebra
- Stochastic and Real Time in Process Algebra: A Conceptual Overview
Cites work
- A calculus of communicating systems
- A timed model for communicating sequential processes
- Compositional semantics for real-time distributed computing
- scientific article; zbMATH DE number 4016181 (Why is no real title available?)
- scientific article; zbMATH DE number 4011913 (Why is no real title available?)
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 4050970 (Why is no real title available?)
- scientific article; zbMATH DE number 710624 (Why is no real title available?)
- On the consistency of Koomen's fair abstraction rule
- Process algebra for synchronous communication
Cited in
(69)- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- TIC: a tImed calculus
- A conservative look at operational semantics with variable binding
- On performance congruences for process algebras
- Real space process algebra
- Recursion induction for real-time processes
- Process algebra with guards: Combining hoare logic with process algebra
- A complete axiomatization of finite-state ACSR processes
- A process algebra of communicating shared resources with dense time and priorities
- A general conservative extension theorem in process algebras with inequalities
- Process algebra with language matching
- Revisiting timing in process algebra.
- An alternative formulation of operational conservativity with binding terms.
- Refinement of time
- Bisimulation indexes and their applications
- The cones and foci proof technique for timed transition systems
- Virtually timed ambients: a calculus of nested virtualization
- A brief history of process algebra
- Process algebra for hybrid systems
- Models and languages for description of parallel processes
- Congruent weak bisimulation with dense real-time
- Action transducers and timed automata
- Absolute versus relative time in process algebras.
- A timed concurrent constraint language.
- The real-time process algebra (RTPA)
- On the expressiveness of choice quantification
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Discrete time process algebra
- Compositional verification of real-time systems with explicit clock temporal logic
- Timing and causality in process algebra
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Computable processes and bisimulation equivalence
- Continuity controlled hybrid automata
- An effective axiomatization for real time ACP
- Process algebra with timing: Real time and discrete time
- A real-time process algebra with open intervals and maximal progress
- scientific article; zbMATH DE number 1696881 (Why is no real title available?)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- Process algebra and model checking
- Testing Semantics for RTPA
- The transition rules model for real-time process control
- scientific article; zbMATH DE number 1231594 (Why is no real title available?)
- scientific article; zbMATH DE number 497653 (Why is no real title available?)
- scientific article; zbMATH DE number 1536546 (Why is no real title available?)
- Generalizing finiteness conditions of labelled transition systems
- Discovering ePassport vulnerabilities using bisimilarity
- Discrete time process algebra with abstraction
- An algebraic framework for developing and maintaining real-time systems
- Behavioural abstraction in TCCS
- Stochastic and Real Time in Process Algebra: A Conceptual Overview
- Axiomatising real-timed processes
- Variable binding operators in transition system specifications
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Real time process algebra with time-dependent conditions
- Process algebra for performance evaluation
- On the semantics of durational actions
- Bisimulation on speed: Worst-case efficiency
- revTPL: The Reversible Temporal Process Language
- A linear time process algebra
- A timed calculus for wireless systems
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- A theory of processes with durational actions
- A brief history of Timed CSP
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- Duplication of constants in process algebra
- SOS formats and meta-theory: 20 years after
This page was built for publication: Real time process algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2640341)
