scientific article; zbMATH DE number 1107491
From MaRDI portal
Publication:4373413
Recommendations
- CONCUR 2005 – Concurrency Theory
- Generalized quantitative analysis of metric transition systems
- Metrics for weighted transition systems: axiomatization and complexity
- Deriving labelled transition systems -- a structural approach
- Automata, Languages and Programming
- scientific article; zbMATH DE number 1864591
- Monoid-labeled transition systems
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- A compositional proof system on a category of labelled transition systems
Cited in
(13)- Bisimulation indexes and their applications
- Sufficient conditions for the marked graph realisability of labelled transition systems
- Weighted modal transition systems
- Uniform metrical task systems with a limited number of states
- The quantitative linear-time-branching-time spectrum
- A compositional proof system on a category of labelled transition systems
- Multi labelled transition systems: a semantic framework for nominal calculi
- Program specific transition systems
- General quantitative specification theories with modal transition systems
- scientific article; zbMATH DE number 2104617 (Why is no real title available?)
- Labelled transition systems as a Stone space
- Automata, Languages and Programming
- Metrics for weighted transition systems: axiomatization and complexity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373413)
