A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
From MaRDI portal
Publication:2971124
Recommendations
- A linear-time-branching-time spectrum for behavioral specification theories
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
- CONCUR 2005 – Concurrency Theory
- Revisiting timed specification theories: a linear-time perspective
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Towards bialgebraic semantics for the linear time -- branching time spectrum
- Unifying the linear time-branching time spectrum of process semantics
- A spectrum of behavioral relations over LTSs on probability distributions
- scientific article; zbMATH DE number 177267
- scientific article; zbMATH DE number 177521
Cites work
- scientific article; zbMATH DE number 3919813 (Why is no real title available?)
- 20 years of modal and mixed specifications.
- A Theory of Communicating Sequential Processes
- A context dependent equivalence between processes
- A modal interface theory for component-based design
- ACTL for modal interface automata
- Algebraic laws for nondeterminism and concurrency
- Bisimulation through probabilistic testing
- Calculi for synchrony and asynchrony
- Communicating sequential processes
- Ensuring reachability by design
- Extending modal transition systems with structured labels
- Failures semantics and deadlocking of modular Petri nets
- General quantitative specification theories with modal transition systems
- Modal event-clock specifications for timed component-based design
- Modal transition systems: composition and LTL model checking
- Modular construction and partial order semantics of Petri nets
- Nested semantics over finite trees are equationally hard
- Structured operational semantics and bisimulation as a congruence
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- The quantitative linear-time-branching-time spectrum
- Weighted modal transition systems
Cited in
(2)
This page was built for publication: A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2971124)