scientific article; zbMATH DE number 7327934
From MaRDI portal
Publication:5856402
Publication date: 26 March 2021
Full work available at URL: https://arxiv.org/abs/2001.08040
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transition system specifications with negative premises
- Interactive Markov chains. And the quest for quantified quality
- Priorities in process algebras
- A complete axiomatisation for observational congruence of finite-state behaviours
- A process algebra with distributed priorities
- The theory of interactive generalized semi-Markov processes
- Process algebra with timing
- Discrete time generative-reactive probabilistic processes with different advancing speeds
- A process algebra for timed systems
- Reduction semantics in Markovian process algebra
- Is Observational Congruence Axiomatisable in Equational Horn Logic?
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- On the Axiomatizability of Priority
- On “Axiomatising Finite Concurrent Processes”
- Barbed bisimulation
- A Compositional Approach to Performance Modelling
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- CONCUR 2005 – Concurrency Theory
- Foundations of Security Analysis and Design II
- An algebraic theory of multiple clocks
This page was built for publication:
