Product line process theory
DOI10.1016/j.jlamp.2015.09.008zbMath1346.68060OpenAlexW2221917271MaRDI QIDQ898612
Publication date: 18 December 2015
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.008
\(\mu\)-calculusaxiomatizationprocess theorysoftware product lineproduct line bisimulationstrict strong bisimulation
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multi-valued model checking games
- Results on the propositional \(\mu\)-calculus
- Algebra of communicating processes with abstraction
- Bisimulation equivalence is decidable for all context-free processes
- Process algebra for synchronous communication
- Reactive Systems
- Software Product Line Engineering
- Modal I/O Automata for Interface and Product Line Theories
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Product line process theory