A process algebra for timed systems
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Timing-Sensitive Noninterference through Composition
- Timed testing of concurrent systems
- Semantic analysis of gossip protocols for wireless sensor networks
- A semantic theory of the Internet of Things
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Process algebras as specification language (work in progress)
- Bisimulation indexes and their applications
- Lang-n-Send Extended: Sending Regular Expressions to Monitors
- scientific article; zbMATH DE number 1216183 (Why is no real title available?)
- Formal specification and analysis of hardware systems in timed Chi
- A calculus of cyber-physical systems
- On performance congruences for process algebras
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Testing equivalences of time Petri nets
- Formal Methods for the Design of Real-Time Systems
- A model of actors and grey failures
- Bisimulation on speed: a unified approach
- Revisiting timing in process algebra.
- A timed semantics of Orc
- An algebraic framework for developing and maintaining real-time systems
- scientific article; zbMATH DE number 1231594 (Why is no real title available?)
- A brief history of Timed CSP
- scientific article; zbMATH DE number 1696898 (Why is no real title available?)
- scientific article; zbMATH DE number 1876862 (Why is no real title available?)
- revTPL: The Reversible Temporal Process Language
- The expressive power of monotonic parallel composition
- Embedding untimed into timed process algebra; the case for explicit termination
- Towards an algebra for timed behaviours
- Bisimulation on speed: Lower time bounds
- Sound reasoning in \textit{tock}-CSP
- A process calculus approach to detection and mitigation of PLC malware
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- scientific article; zbMATH DE number 140239 (Why is no real title available?)
- scientific article; zbMATH DE number 2140431 (Why is no real title available?)
- Process algebra with timing
- Discrete time generative-reactive probabilistic processes with different advancing speeds
- Behavioural abstraction in TCCS
- scientific article; zbMATH DE number 1810494 (Why is no real title available?)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
- Timed Chi: modeling, simulation and verification of hardware systems
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Duplication of constants in process algebra
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Equational reasonings in wireless network gossip protocols
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- Real time process algebra with time-dependent conditions
- A probabilistic calculus of cyber-physical systems
- Timers for distributed systems
- A timed concurrent constraint language.
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA
- A process algebra of communicating shared resources with dense time and priorities
- Repairing time-determinism in the process algebra for hybrid systems
- Recursion induction for real-time processes
- Bisimulation on speed: Worst-case efficiency
- Extending Timed Process Algebra with Discrete Stochastic Time
- Process algebra for hybrid systems
- Modelling mutual exclusion in a process algebra with time-outs
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- Discrete time process algebra and the semantics of SDL
- Semantics and expressiveness of ordered SOS
- Action Abstraction in Timed Process Algebra
- Embedding untimed into timed process algebra: the case for explicit termination
- A real-time process algebra with open intervals and maximal progress
- Generating priority rewrite systems for OSOS process languages
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- ``Closed interval process algebra versus ``interval process algebra
- Fast asynchronous systems in dense time
- Axiomatizing maximal progress and discrete time
- An algebraic theory of multiple clocks
- Ordered SOS process languages for branching and eager bisimulations
- Discrete time process algebra
- The algebra of timed processes, ATP: Theory and application
- Modular analysis of distributed hybrid systems using post-regions
- An efficiency preorder for processes
- Faster asynchronous systems.
- scientific article; zbMATH DE number 2113973 (Why is no real title available?)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- scientific article; zbMATH DE number 2086649 (Why is no real title available?)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
- Absolute versus relative time in process algebras.
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Testing Semantics for RTPA
- Timing and causality in process algebra
- Composition methods for constructing characteristic formulas for dense-time models
- Formal models and analysis of secure multicast in wired and wireless networks
- Virtually timed ambients: a calculus of nested virtualization
- Extending timed mobility with probabilities and real-time
- Causal reversibility in nondeterministic process calculi extended with time or probabilities
- On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
- The expressive power of urgent, lazy and busy-waiting actions in timed processes
- Raiders of the lost equivalence: probabilistic branching bisimilarity
- Algebra of timed frames
- A Comparative Study of STOPA and RTPA
- On testing urgency through laziness over processes with durational actions
- Decidability and complexity of action-based temporal planning over dense time
- A linear time process algebra
- An overview and synthesis on timed process algebras
- Formal Methods for the Design of Real-Time Systems
- Reactive bisimulation semantics for a process algebra with timeouts
This page was built for publication: A process algebra for timed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892877)
