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